diff options
| author | Jason Zaugg <jzaugg@gmail.com> | 2013-06-05 13:09:51 +0200 |
|---|---|---|
| committer | Jason Zaugg <jzaugg@gmail.com> | 2013-06-05 13:09:51 +0200 |
| commit | dd5fa60c1d56587b07548c01ea70a0077a9f1fa3 (patch) | |
| tree | f2997b396fcc3850a4d97c3d332e8f85f0886b30 | |
| parent | 1472dadd03496aa89624c81ded01edeb71420cc3 (diff) | |
| download | scala-dd5fa60c1d56587b07548c01ea70a0077a9f1fa3.tar.gz scala-dd5fa60c1d56587b07548c01ea70a0077a9f1fa3.tar.bz2 scala-dd5fa60c1d56587b07548c01ea70a0077a9f1fa3.zip | |
SI-7558 Fix capture of free local vars in toolbox compiler
It was creating an `ObjectRef[<notype>]` because of a small
bug in `capturedVariableType`.
| -rw-r--r-- | src/reflect/scala/reflect/internal/CapturedVariables.scala | 2 | ||||
| -rw-r--r-- | test/files/run/t7558.scala | 9 |
2 files changed, 10 insertions, 1 deletions
diff --git a/src/reflect/scala/reflect/internal/CapturedVariables.scala b/src/reflect/scala/reflect/internal/CapturedVariables.scala index 77909d9157..a3d2a8bd94 100644 --- a/src/reflect/scala/reflect/internal/CapturedVariables.scala +++ b/src/reflect/scala/reflect/internal/CapturedVariables.scala @@ -29,7 +29,7 @@ trait CapturedVariables { self: SymbolTable => def refType(valueRef: Map[Symbol, Symbol], objectRefClass: Symbol) = if (isPrimitiveValueClass(symClass) && symClass != UnitClass) valueRef(symClass).tpe else if (erasedTypes) objectRefClass.tpe - else appliedType(objectRefClass, tpe) + else appliedType(objectRefClass, tpe1) if (vble.hasAnnotation(VolatileAttr)) refType(volatileRefClass, VolatileObjectRefClass) else refType(refClass, ObjectRefClass) } diff --git a/test/files/run/t7558.scala b/test/files/run/t7558.scala new file mode 100644 index 0000000000..bfcaaba5cc --- /dev/null +++ b/test/files/run/t7558.scala @@ -0,0 +1,9 @@ +object Test extends App { + val cm = reflect.runtime.currentMirror + val u = cm.universe + import scala.tools.reflect.ToolBox + val tb = cm.mkToolBox() + val t = { var x = "ab".toList; u.reify { x = x.reverse; x }.tree } + val evaluated = tb.eval(t) + assert(evaluated == "ba".toList, evaluated) +} |