diff options
Diffstat (limited to 'test/checker-tests/fail6.scala')
-rw-r--r-- | test/checker-tests/fail6.scala | 61 |
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 -// -// |