diff options
author | Martin Odersky <odersky@gmail.com> | 2009-02-23 19:21:05 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2009-02-23 19:21:05 +0000 |
commit | bf35b888e49afb245883571cc00cbb5ec7341f24 (patch) | |
tree | 8c060484dde8c122f1d65fceedf0dd962a4ad90c /test/files/neg/bug1279a.scala | |
parent | a4baf48a5fb38f29d462accc57f93032955efa0e (diff) | |
download | scala-bf35b888e49afb245883571cc00cbb5ec7341f24.tar.gz scala-bf35b888e49afb245883571cc00cbb5ec7341f24.tar.bz2 scala-bf35b888e49afb245883571cc00cbb5ec7341f24.zip |
fixed several problems with cyclic references u...
fixed several problems with cyclic references uncovered by experimenting
with collections. Added early type definitions.
Diffstat (limited to 'test/files/neg/bug1279a.scala')
-rw-r--r-- | test/files/neg/bug1279a.scala | 38 |
1 files changed, 0 insertions, 38 deletions
diff --git a/test/files/neg/bug1279a.scala b/test/files/neg/bug1279a.scala deleted file mode 100644 index 7568d3afcd..0000000000 --- a/test/files/neg/bug1279a.scala +++ /dev/null @@ -1,38 +0,0 @@ -// providing the type parameter in the recursive call to all4Impl -// avoids the problem - - -// covariant linked list -abstract class M -{ self => - - type T - final type selfType = M {type T <: self.T} - type actualSelfType >: self.type <: selfType - - def next: selfType - - - // I don't understand why this doesn't compile, but that's a separate matter - // error: method all2 cannot be accessed in M.this.selfType - // because its instance type => Stream[M{type T <: M.this.selfType#T}] - // contains a malformed type: M.this.selfType#T - // def all2: Stream[M {type T <: self.T}] = Stream.cons(self: actualSelfType, next.all2) - - - // compiles successfully - // def all3: Stream[M {type T <: self.T}] = all3Impl(self: actualSelfType) - // private def all3Impl(first: M {type T <: self.T}): Stream[M {type T <: self.T}] = Stream.cons(first, all3Impl(first.next)) - - - - def all4: Stream[M {type T <: self.T}] = Unrelated.all4Impl[T](self: actualSelfType) -} - -object Unrelated -{ - def all4Impl[U](first: M {type T <: U}): Stream[M {type T <: U}] = Stream.cons(first, all4Impl(first.next)) - -// compiles successfully -// def all4Impl[U](first: M {type T <: U}): Stream[M {type T <: U}] = Stream.cons(first, all4Impl[U](first.next)) -} |