summaryrefslogtreecommitdiff
path: root/test/checker-tests/fail6.scala
diff options
context:
space:
mode:
Diffstat (limited to 'test/checker-tests/fail6.scala')
-rw-r--r--test/checker-tests/fail6.scala61
1 files changed, 0 insertions, 61 deletions
diff --git a/test/checker-tests/fail6.scala b/test/checker-tests/fail6.scala
deleted file mode 100644
index a43bada400..0000000000
--- a/test/checker-tests/fail6.scala
+++ /dev/null
@@ -1,61 +0,0 @@
-// BoxedUnit/Unit confusion involving while.
-//
-// Apply( // sym=method while$1, tpe=Unit, tpe.sym=class Unit, tpe.sym.owner=package scala
-// Ident("while$1"), // sym=method while$1, sym.owner=method f, sym.tpe=()Unit, tpe=()Unit, tpe.sym=<none>,
-class Erasure {
- def f(b: Boolean) = {
- if (b) "abc"
- else while (b) ()
- }
-}
-
-// % work/check all -Xprint:erasure work/fail6.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]
-// [[syntax trees at end of erasure]]// Scala source: fail6.scala
-// package <empty> {
-// class Erasure extends java.lang.Object with ScalaObject {
-// def this(): Erasure = {
-// Erasure.super.this();
-// ()
-// };
-// def f(b: Boolean): java.lang.Object = if (b)
-// "abc"
-// else
-// while$1(){
-// if (b)
-// {
-// ();
-// while$1()
-// }
-// else
-// ();
-// scala.runtime.BoxedUnit.UNIT
-// }
-// }
-// }
-//
-// [Now checking: erasure]
-// work/fail6.scala:4: error:
-// **** ERROR DURING INTERNAL CHECKING ****
-// type mismatch;
-// found : scala.runtime.BoxedUnit
-// required: Unit
-// else while (b) ()
-// ^
-// one error found
-//
-//