diff options
author | Martin Odersky <odersky@gmail.com> | 2009-10-12 09:41:13 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2009-10-12 09:41:13 +0000 |
commit | f75ee36c6fb4386eb89f19c40dfa000076aa9307 (patch) | |
tree | 1c43adb5b8b194a7a9c14d4ad7cdca04261cda68 /test/pending/pos/t2194.scala | |
parent | bf9ca9a2b7455164c335a48826143749b6b107eb (diff) | |
download | scala-f75ee36c6fb4386eb89f19c40dfa000076aa9307.tar.gz scala-f75ee36c6fb4386eb89f19c40dfa000076aa9307.tar.bz2 scala-f75ee36c6fb4386eb89f19c40dfa000076aa9307.zip |
reverted immutable.Vector because it gave rando...
reverted immutable.Vector because it gave random build errors on my
machine. Fixed various tickets, updated test and check files.
Diffstat (limited to 'test/pending/pos/t2194.scala')
-rw-r--r-- | test/pending/pos/t2194.scala | 21 |
1 files changed, 7 insertions, 14 deletions
diff --git a/test/pending/pos/t2194.scala b/test/pending/pos/t2194.scala index 6197ca0e90..e87be509d1 100644 --- a/test/pending/pos/t2194.scala +++ b/test/pending/pos/t2194.scala @@ -1,15 +1,8 @@ -scala> class C -defined class C +// tricky to do differently? +class C -scala> def f = { object o extends C; o} -f: ewo.type forSome { val o: o; type o <: C with ScalaObject } - -scala> val x = f -<console>:6: error: type mismatch; - found : o.type(in object $iw) where type o.type(in object $iw) <: o with Singleton - required: o.type(in value x) forSome { type o.type(in value x) <: o with Singleton; type o <: C with ScalaObject } - val x = f - ^ - -scala> val x : C = f -x: C = o$2$@111985e +object Test { + def f = { object o extends C; o} + val y: C = f + val x = f +} |