summaryrefslogtreecommitdiff
path: root/test/pending/pos/t2194.scala
diff options
context:
space:
mode:
authorMartin Odersky <odersky@gmail.com>2009-10-12 09:41:13 +0000
committerMartin Odersky <odersky@gmail.com>2009-10-12 09:41:13 +0000
commitf75ee36c6fb4386eb89f19c40dfa000076aa9307 (patch)
tree1c43adb5b8b194a7a9c14d4ad7cdca04261cda68 /test/pending/pos/t2194.scala
parentbf9ca9a2b7455164c335a48826143749b6b107eb (diff)
downloadscala-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.scala21
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
+}