summaryrefslogtreecommitdiff
path: root/test/checker-tests/fail11.scala
diff options
context:
space:
mode:
Diffstat (limited to 'test/checker-tests/fail11.scala')
-rw-r--r--test/checker-tests/fail11.scala71
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