diff options
Diffstat (limited to 'test/checker-tests/fail11.scala')
-rw-r--r-- | test/checker-tests/fail11.scala | 71 |
1 files changed, 0 insertions, 71 deletions
diff --git a/test/checker-tests/fail11.scala b/test/checker-tests/fail11.scala deleted file mode 100644 index d5f619c674..0000000000 --- a/test/checker-tests/fail11.scala +++ /dev/null @@ -1,71 +0,0 @@ -// Constructor rewriting does not preserve ordering. -// Oddly the error is not issued without the thrown exception, even -// though the same reordering takes place. -class Foo(x: Int) { - def this(x1: Int, x2: Int) = { - this(x1 + x2) - throw new Exception - } -} - -// Here it is at lambda lift: -// -// [[syntax trees at end of lambdalift]]// Scala source: fail11.scala -// package <empty> { -// class Foo extends java.lang.Object with ScalaObject { -// <paramaccessor> private[this] val x: Int = _; -// def this(x: Int): Foo = { -// Foo.super.this(); -// () -// }; -// def this(x1: Int, x2: Int): Foo = { -// Foo.this.this(x1.+(x2)); -// throw new java.lang.Exception(); -// () -// } -// } -// } - -// -// % scalac -d /tmp -Xprint:constr -Ycheck-debug -Ycheck:all test/checker-tests/fail11.scala -// -// TypeStack init: REFERENCE(type AnyRef) -// [Not checkable: parser] -// [Not checkable: namer] -// [Not checkable: packageobjects] -// [Now checking: typer] -// [Now checking: superaccessors] -// [Now checking: pickler] -// [Now checking: refchecks] -// [Now checking: selectiveanf] -// [Now checking: liftcode] -// [Now checking: selectivecps] -// [Now checking: uncurry] -// [Now checking: tailcalls] -// [Not checkable: specialize] -// [Not checkable: explicitouter] -// [Now checking: erasure] -// [Now checking: lazyvals] -// [Now checking: lambdalift] -// [[syntax trees at end of constructors]]// Scala source: fail11.scala -// package <empty> { -// class Foo extends java.lang.Object with ScalaObject { -// def this(x1: Int, x2: Int): Foo = { -// Foo.this.this(x1.+(x2)); -// throw new java.lang.Exception(); -// () -// }; -// def this(x: Int): Foo = { -// Foo.super.this(); -// () -// } -// } -// } -// -// [Now checking: constructors] -// test/checker-tests/fail11.scala:4: error: -// **** ERROR DURING INTERNAL CHECKING **** -// called constructor's definition must precede calling constructor's definition -// this(x1 + x2) -// ^ -// one error found |