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/t5271_3.check | |
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/t5271_3.check')
-rw-r--r-- | test/files/run/t5271_3.check | 20 |
1 files changed, 19 insertions, 1 deletions
diff --git a/test/files/run/t5271_3.check b/test/files/run/t5271_3.check index f32a5804e2..be87696f02 100644 --- a/test/files/run/t5271_3.check +++ b/test/files/run/t5271_3.check @@ -1 +1,19 @@ -true
\ No newline at end of file +{ + object C extends Object with ScalaObject with Serializable { + def <init>() = { + super.<init>(); + () + }; + def qwe: Int = 4 + }; + case class C extends Object with ScalaObject with Product with Serializable { + <caseaccessor> <paramaccessor> val foo : Int = _; + <caseaccessor> <paramaccessor> val bar : Int = _; + def <init>(foo: Int, bar: Int) = { + super.<init>(); + () + } + }; + val c = C.apply(2, 2); + scala.this.Predef.println(c.foo.$times(c.bar).$eq$eq(C.qwe)) +} |