diff options
author | Martin Odersky <odersky@gmail.com> | 2007-10-31 17:33:02 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2007-10-31 17:33:02 +0000 |
commit | bff42682bc489dcdad34ec91f34e6c2c3dca7cf1 (patch) | |
tree | 9c496712c4f98e91261f15cb5b5a5a0c1b943656 /test/files/neg/lubs.check | |
parent | 9e8c022640f74e963baa930dd657d920a914a43d (diff) | |
download | scala-bff42682bc489dcdad34ec91f34e6c2c3dca7cf1.tar.gz scala-bff42682bc489dcdad34ec91f34e6c2c3dca7cf1.tar.bz2 scala-bff42682bc489dcdad34ec91f34e6c2c3dca7cf1.zip |
fixed several problems with implicits.
Changed ways inner types of modules print: Module.this.Type =>
Module.type
Diffstat (limited to 'test/files/neg/lubs.check')
-rw-r--r-- | test/files/neg/lubs.check | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/test/files/neg/lubs.check b/test/files/neg/lubs.check index 81c280e76f..77ab20102c 100644 --- a/test/files/neg/lubs.check +++ b/test/files/neg/lubs.check @@ -1,16 +1,16 @@ lubs.scala:11: error: type mismatch; - found : test1.this.A[test1.this.A[test1.this.A[Any]]] - required: test1.this.A[test1.this.A[test1.this.A[test1.this.A[Any]]]] + found : test1.A[test1.A[test1.A[Any]]] + required: test1.A[test1.A[test1.A[test1.A[Any]]]] val x4: A[A[A[A[Any]]]] = f ^ lubs.scala:24: error: type mismatch; - found : test2.this.A{type T >: test2.this.C with test2.this.D <: test2.this.A} - required: test2.this.A{type T >: Null <: test2.this.A{type T >: Null <: test2.this.A}} + found : test2.A{type T >: test2.C with test2.D <: test2.A} + required: test2.A{type T >: Null <: test2.A{type T >: Null <: test2.A}} val x3: A { type T >: Null <: A { type T >: Null <: A } } = f ^ lubs.scala:25: error: type mismatch; - found : test2.this.A{type T >: test2.this.C with test2.this.D <: test2.this.A} - required: test2.this.A{type T >: Null <: test2.this.A{type T >: Null <: test2.this.A{type T >: Null <: test2.this.A}}} + found : test2.A{type T >: test2.C with test2.D <: test2.A} + required: test2.A{type T >: Null <: test2.A{type T >: Null <: test2.A{type T >: Null <: test2.A}}} val x4: A { type T >: Null <: A { type T >: Null <: A { type T >: Null <: A } } } = f ^ three errors found |