summaryrefslogtreecommitdiff
path: root/test/files/neg/bug987.scala
diff options
context:
space:
mode:
authorMartin Odersky <odersky@gmail.com>2007-03-13 15:19:42 +0000
committerMartin Odersky <odersky@gmail.com>2007-03-13 15:19:42 +0000
commit0eb18771918f5fd7659ad747126e97452c41c748 (patch)
treedab8e5556a917585027cacfdc0d18e73b983b38e /test/files/neg/bug987.scala
parentbc89afad4f7b7516b16037685a3b70a862858596 (diff)
downloadscala-0eb18771918f5fd7659ad747126e97452c41c748.tar.gz
scala-0eb18771918f5fd7659ad747126e97452c41c748.tar.bz2
scala-0eb18771918f5fd7659ad747126e97452c41c748.zip
fixed bug 1000 and david pollaks problem wrt tu...
fixed bug 1000 and david pollaks problem wrt tupling
Diffstat (limited to 'test/files/neg/bug987.scala')
-rw-r--r--test/files/neg/bug987.scala25
1 files changed, 25 insertions, 0 deletions
diff --git a/test/files/neg/bug987.scala b/test/files/neg/bug987.scala
new file mode 100644
index 0000000000..dcd3ce1d07
--- /dev/null
+++ b/test/files/neg/bug987.scala
@@ -0,0 +1,25 @@
+// tested using Scala compiler version 2.4.0-RC1 -- (c) 2002-2007 LAMP/EPFL
+
+// Many thanks to all at LAMP for the work that goes into Scala.
+
+
+class A {}
+
+trait B[T <: B[T]] requires T {}
+
+abstract class C extends A with B[C]
+{
+ protected val data: List[Int]
+}
+
+class E extends D
+{
+ val data = Nil
+}
+
+class F extends D
+{
+ val data = Nil
+}
+
+abstract class D extends C with B[D] {}