diff options
author | Martin Odersky <odersky@gmail.com> | 2006-11-30 16:03:10 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2006-11-30 16:03:10 +0000 |
commit | 6474945c60b85f874f7f130d4b8b9637ce0de489 (patch) | |
tree | 7b322655523279f5d57b6dcbf1fdf3df8e935550 /test/files/neg | |
parent | 18a55e81905572065cc441629c7dc07059627fbf (diff) | |
download | scala-6474945c60b85f874f7f130d4b8b9637ce0de489.tar.gz scala-6474945c60b85f874f7f130d4b8b9637ce0de489.tar.bz2 scala-6474945c60b85f874f7f130d4b8b9637ce0de489.zip |
added test files for bug835/bug836
Diffstat (limited to 'test/files/neg')
-rw-r--r-- | test/files/neg/bug835.check | 4 | ||||
-rw-r--r-- | test/files/neg/bug835.scala | 3 | ||||
-rw-r--r-- | test/files/neg/bug836.check | 5 | ||||
-rw-r--r-- | test/files/neg/bug836.scala | 16 |
4 files changed, 28 insertions, 0 deletions
diff --git a/test/files/neg/bug835.check b/test/files/neg/bug835.check new file mode 100644 index 0000000000..1977126e8b --- /dev/null +++ b/test/files/neg/bug835.check @@ -0,0 +1,4 @@ +bug835.scala:2 error: `)' expected + Console.println(List(List(1, 2, 3) : _*, List(4, 5, 6) : _*)) + ^ +one error found diff --git a/test/files/neg/bug835.scala b/test/files/neg/bug835.scala new file mode 100644 index 0000000000..1eb724406b --- /dev/null +++ b/test/files/neg/bug835.scala @@ -0,0 +1,3 @@ +object Test extends Application { + Console.println(List(List(1, 2, 3) : _*, List(4, 5, 6) : _*)) +} diff --git a/test/files/neg/bug836.check b/test/files/neg/bug836.check new file mode 100644 index 0000000000..508d7bd75b --- /dev/null +++ b/test/files/neg/bug836.check @@ -0,0 +1,5 @@ +bug836.scala:6 error: type S cannot be accessed in A.this.MyObj + because its instance type A.this.MyObj#S is malformed + type S = MyObj#S + ^ +one error found diff --git a/test/files/neg/bug836.scala b/test/files/neg/bug836.scala new file mode 100644 index 0000000000..3633b816c6 --- /dev/null +++ b/test/files/neg/bug836.scala @@ -0,0 +1,16 @@ +abstract class Obj { type S } +class ObjImpl extends Obj { type S = String } + +abstract class A { + type MyObj <: Obj + type S = MyObj#S + + val any: Any = 0 + val some: S = any // compiles => type X is set to scala.Any +} + +class B extends A { + type MyObj = ObjImpl + val myString: S = "hello" + val realString: String = myString // error: type missmatch +} |