diff options
author | Paul Phillips <paulp@improving.org> | 2010-12-01 21:16:28 +0000 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2010-12-01 21:16:28 +0000 |
commit | 1660cfc41e6e58d19db6cfdb6a768831c57033f8 (patch) | |
tree | 1d88c2c16d85cc909f90b15c552c98e95e186ad2 /test/checker-tests/fail3.scala | |
parent | a37284fdf7e2b2917c9e894a9b93c02d1defc983 (diff) | |
download | scala-1660cfc41e6e58d19db6cfdb6a768831c57033f8.tar.gz scala-1660cfc41e6e58d19db6cfdb6a768831c57033f8.tar.bz2 scala-1660cfc41e6e58d19db6cfdb6a768831c57033f8.zip |
A patch authored by martin to fix one of the bi...
A patch authored by martin to fix one of the big outstanding issues with
-Ycheck. The typer had a vision of the world which fell to pieces if
presented with a tree from after phase constructors. Now it is wiser:
perhaps a bit sadder as well, but every typer must face this day sooner
or later.
Also removed the various passing tests from test/checker-tests, but
still plenty of fascinating failures in there for anyone interested in
helping push to the finish line! No review.
Diffstat (limited to 'test/checker-tests/fail3.scala')
-rw-r--r-- | test/checker-tests/fail3.scala | 54 |
1 files changed, 0 insertions, 54 deletions
diff --git a/test/checker-tests/fail3.scala b/test/checker-tests/fail3.scala deleted file mode 100644 index 8eacc25473..0000000000 --- a/test/checker-tests/fail3.scala +++ /dev/null @@ -1,54 +0,0 @@ -object Obby { - val Set = scala.collection.immutable.Set -} - -// % work/check all -uniqid -Xprint:constructors work/fail3.scala -// TypeStack init: REFERENCE(type AnyRef#2783) -// [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: fail3.scala -// package <empty>#3 { -// final class Obby#9240 extends java.lang.Object#2488 with ScalaObject#1481 { -// private[this] val Set#9246: object scala.collection.immutable.Set#9713 = _; -// <stable> <accessor> def Set#9245(): object scala.collection.immutable.Set#9713 = Obby#9240.this.Set#9246; -// def this#9244(): object Obby#9240 = { -// Obby#9240.super.this#5850(); -// Obby#9240.this.Set#9246 = scala#23.collection#2221.immutable#8875.Set#9712; -// () -// } -// } -// } -// -// [Now checking: constructors] -// work/fail3.scala:2: error: -// **** ERROR DURING INTERNAL CHECKING **** -// value Set#9246 in object Obby#9240 cannot be accessed in object Obby#9240 -// because of an internal error (no accessible symbol): -// sym = value Set#9246 -// underlying(sym) = value Set#9246 -// pre = object Obby#9240 -// site = Obby#9240.this -// tree = Obby#9240.this.Set#9246 -// sym.accessBoundary(sym.owner) = object Obby#9240 -// sym.ownerChain = List(value Set#9246, object Obby#9240, package <empty>#4, package <root>#2) -// sym.owner.thisType = object Obby#9240 -// context.owner = package <empty>#4 -// context.outer.enclClass.owner = package <empty>#4 -// val Set = scala.collection.immutable.Set -// ^ -// one error found |