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/neg/reify_ann2a.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/neg/reify_ann2a.scala')
-rw-r--r-- | test/files/neg/reify_ann2a.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/files/neg/reify_ann2a.scala b/test/files/neg/reify_ann2a.scala index 071919eb76..8de0984074 100644 --- a/test/files/neg/reify_ann2a.scala +++ b/test/files/neg/reify_ann2a.scala @@ -26,5 +26,5 @@ object Test extends App { println(ttree.toString) // test 3: import and compile - toolbox.runExpr(ttree) + toolbox.runExpr(tree) }
\ No newline at end of file |