diff options
author | Martin Odersky <odersky@gmail.com> | 2003-09-02 17:27:57 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2003-09-02 17:27:57 +0000 |
commit | d8a3d0acaa3ff4bae5a20ff64d265754e7c1fbe5 (patch) | |
tree | b22dd299335625f6970d2374dda2001e66cc755e /test/neg | |
parent | dd1ebac2aae5844ba01dbe2aab6e7fd67e19c15a (diff) | |
download | scala-d8a3d0acaa3ff4bae5a20ff64d265754e7c1fbe5.tar.gz scala-d8a3d0acaa3ff4bae5a20ff64d265754e7c1fbe5.tar.bz2 scala-d8a3d0acaa3ff4bae5a20ff64d265754e7c1fbe5.zip |
*** empty log message ***
Diffstat (limited to 'test/neg')
-rw-r--r-- | test/neg/bug86.check | 4 | ||||
-rw-r--r-- | test/neg/bug86.scala | 7 | ||||
-rw-r--r-- | test/neg/bug87.check | 4 | ||||
-rw-r--r-- | test/neg/bug87.scala | 3 | ||||
-rw-r--r-- | test/neg/bug95.check | 7 | ||||
-rw-r--r-- | test/neg/bug95.scala | 2 | ||||
-rw-r--r-- | test/neg/bug96.check | 5 | ||||
-rw-r--r-- | test/neg/bug96.scala | 6 | ||||
-rw-r--r-- | test/neg/bug97.check | 4 | ||||
-rw-r--r-- | test/neg/bug97.scala | 7 |
10 files changed, 49 insertions, 0 deletions
diff --git a/test/neg/bug86.check b/test/neg/bug86.check new file mode 100644 index 0000000000..9ef489429c --- /dev/null +++ b/test/neg/bug86.check @@ -0,0 +1,4 @@ +bug86.scala:4: trait Foo is abstract, so it cannot be instantiated + new Foo(); + ^ +one error found diff --git a/test/neg/bug86.scala b/test/neg/bug86.scala new file mode 100644 index 0000000000..a11f49aa90 --- /dev/null +++ b/test/neg/bug86.scala @@ -0,0 +1,7 @@ +trait Foo(); + +object foo { + new Foo(); + new Foo(){}; + new Foo(){0}; +} diff --git a/test/neg/bug87.check b/test/neg/bug87.check new file mode 100644 index 0000000000..595ba64ee4 --- /dev/null +++ b/test/neg/bug87.check @@ -0,0 +1,4 @@ +bug87.scala:2: type C is not a member of foo + new foo.C; + ^ +one error found diff --git a/test/neg/bug87.scala b/test/neg/bug87.scala new file mode 100644 index 0000000000..8e9a84928f --- /dev/null +++ b/test/neg/bug87.scala @@ -0,0 +1,3 @@ +object foo { + new foo.C; +} diff --git a/test/neg/bug95.check b/test/neg/bug95.check new file mode 100644 index 0000000000..d142a27b6f --- /dev/null +++ b/test/neg/bug95.check @@ -0,0 +1,7 @@ +test/neg/bug95.scala:1: illegal inheritance from sealed class +class C extends AnyVal; + ^ +test/neg/bug95.scala:2: illegal inheritance from sealed class +class T extends Unit; + ^ +two errors found diff --git a/test/neg/bug95.scala b/test/neg/bug95.scala new file mode 100644 index 0000000000..9893d7f5a4 --- /dev/null +++ b/test/neg/bug95.scala @@ -0,0 +1,2 @@ +class C extends AnyVal; +class T extends Unit; diff --git a/test/neg/bug96.check b/test/neg/bug96.check new file mode 100644 index 0000000000..ab5871b39e --- /dev/null +++ b/test/neg/bug96.check @@ -0,0 +1,5 @@ +bug96.scala:5: method foo in class B of type (def scala.Any)scala.Object + cannot override method foo in class A of type (scala.Any)scala.Object + override def foo(def x: Any): Object = null; + ^ +one error found diff --git a/test/neg/bug96.scala b/test/neg/bug96.scala new file mode 100644 index 0000000000..4694e9edc7 --- /dev/null +++ b/test/neg/bug96.scala @@ -0,0 +1,6 @@ +class A { + def foo(x: Any): Object = null; +} +class B extends A { + override def foo(def x: Any): Object = null; +} diff --git a/test/neg/bug97.check b/test/neg/bug97.check new file mode 100644 index 0000000000..5d4fcacb1b --- /dev/null +++ b/test/neg/bug97.check @@ -0,0 +1,4 @@ +test/neg/bug97.scala:3: expected pattern type scala.Any does not conform to sequence trait scala.List + case List(y) => "zero" + ^ +one error found diff --git a/test/neg/bug97.scala b/test/neg/bug97.scala new file mode 100644 index 0000000000..c9bfebcfa0 --- /dev/null +++ b/test/neg/bug97.scala @@ -0,0 +1,7 @@ +object Main { + def foo(x: Any) = x match { + case List(y) => "zero" + case y :: ys => "one" + } + def main(args: Array[String]) = System.out.println(List(1, 2)); +} |