summaryrefslogtreecommitdiff
path: root/test/files/neg
diff options
context:
space:
mode:
authorMartin Odersky <odersky@gmail.com>2007-06-19 15:22:33 +0000
committerMartin Odersky <odersky@gmail.com>2007-06-19 15:22:33 +0000
commit542c248d614ab137b5d79c6a67bb98f147322a3f (patch)
treec50c23eee3fda2bf825b2d54a37b62c9cc4e2d10 /test/files/neg
parentc378489a951a6a250dd1a151a743e98bd22c5445 (diff)
downloadscala-542c248d614ab137b5d79c6a67bb98f147322a3f.tar.gz
scala-542c248d614ab137b5d79c6a67bb98f147322a3f.tar.bz2
scala-542c248d614ab137b5d79c6a67bb98f147322a3f.zip
added wildcards. Changed for_some to forSome.
Diffstat (limited to 'test/files/neg')
-rw-r--r--test/files/neg/bug1001.check6
-rw-r--r--test/files/neg/bug1001.scala105
2 files changed, 0 insertions, 111 deletions
diff --git a/test/files/neg/bug1001.check b/test/files/neg/bug1001.check
deleted file mode 100644
index e386359f4d..0000000000
--- a/test/files/neg/bug1001.check
+++ /dev/null
@@ -1,6 +0,0 @@
-bug1001.scala:104: error: the type intersection Ee with D is malformed
- --- because ---
-no common type instance of base types B[D] and B[Ee] exists
- val data = List(N26,N25)
- ^
-one error found
diff --git a/test/files/neg/bug1001.scala b/test/files/neg/bug1001.scala
deleted file mode 100644
index 1b909fb2ad..0000000000
--- a/test/files/neg/bug1001.scala
+++ /dev/null
@@ -1,105 +0,0 @@
-// I suspect the stack overflow is occurring when the compiler is determining the types for the following line at the end of the file:-
-// val data = List(N26,N25)
-
-abstract class A
-{
- // commenting out the following line (only) leads to successful compilation
- protected val data: List[A]
-}
-
-trait B[T <: B[T]] extends A { self: T => }
-
-abstract class C extends A
-{
- // commenting out the following line (only) leads to successful compilation
- protected val data: List[C]
-}
-
-abstract class D extends C with B[D] {}
-
-abstract class Ee extends C with B[Ee]
-{
-}
-
-
-object N1 extends D
-{
- val data = Nil
-}
-
-object N2 extends D
-{
- val data = Nil
-}
-
-object N5 extends D
-{
- val data = List(N1)
-}
-
-object N6 extends D
-{
- val data = List(N1)
-}
-
-object N8 extends D
-{
- val data = List(N1)
-}
-
-object N10 extends D
-{
- val data = Nil
-}
-
-object N13 extends D
-{
- val data = List(N2)
-}
-
-object N14 extends D
-{
- val data = List(N5,N10,N8)
-}
-
-object N15 extends D
-{
- val data = List(N14)
-}
-
-object N16 extends D
-{
- val data = List(N13,N6,N15)
-}
-
-object N17 extends D
-{
- val data = List(N16)
-}
-
-object N21 extends D
-{
- val data = List(N16)
-}
-
-object N22 extends D
-{
- val data = List(N17)
-}
-
-object N25 extends D
-{
- val data = List(N22)
-}
-
-object N26 extends Ee
-{
- val data = List(N21,N17)
-}
-
-// Commenting out the following object (only) leads to successful compilation
-object N31 extends Ee
-{
- // If we use List[C](N26,N25), we achieve successful compilation
- val data = List(N26,N25)
-}