diff options
| author | Eugene Burmako <xeno.by@gmail.com> | 2012-02-14 21:59:43 +0100 |
|---|---|---|
| committer | Eugene Burmako <xeno.by@gmail.com> | 2012-02-14 23:08:38 +0100 |
| commit | 97ec16850b152e6e03aba351cc918c66583362f3 (patch) | |
| tree | 76be253e22192e9b093c4bb2dbaff6db7bb9ecce /test/files/run/t5334_2.scala | |
| parent | f6174691647bb1fae7e86d53790b1e540b890755 (diff) | |
| download | scala-97ec16850b152e6e03aba351cc918c66583362f3.tar.gz scala-97ec16850b152e6e03aba351cc918c66583362f3.tar.bz2 scala-97ec16850b152e6e03aba351cc918c66583362f3.zip | |
Disables typechecking that precedes reflective compilation
Previously toolboxes used to typecheck their inputs before compiling.
Actually, the initial demo by Martin first typechecked the reified tree,
then ran it, which typechecked it again, and only then launched the
reflective compiler.
However, as observed in https://issues.scala-lang.org/browse/SI-5464
current implementation of typechecking is not always idempotent.
That's why we cannot allow inputs of toolboxes to be typechecked,
at least not until the aforementioned issue is closed.
This is not only a convention but also a check inside compileExpr.
Diffstat (limited to 'test/files/run/t5334_2.scala')
| -rw-r--r-- | test/files/run/t5334_2.scala | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/test/files/run/t5334_2.scala b/test/files/run/t5334_2.scala index 26f0778400..775a05aaf7 100644 --- a/test/files/run/t5334_2.scala +++ b/test/files/run/t5334_2.scala @@ -10,7 +10,5 @@ object Test extends App { val reporter = new ConsoleReporter(new Settings) val toolbox = new ToolBox(reporter) - val ttree = toolbox.typeCheck(code.tree) - println(ttree.tpe) - println(toolbox.runExpr(ttree)) + println(toolbox.runExpr(code.tree)) } |