diff options
author | Martin Odersky <odersky@gmail.com> | 2004-01-07 15:28:48 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2004-01-07 15:28:48 +0000 |
commit | 836f5fbd907fe00bd9bd3849f1d41b13c2afd53a (patch) | |
tree | ceda286a11d8f97234bb77634f8e21f23a795433 /test/files/neg | |
parent | dcac982fd6aefe45c6e91cb582044c54e40dee47 (diff) | |
download | scala-836f5fbd907fe00bd9bd3849f1d41b13c2afd53a.tar.gz scala-836f5fbd907fe00bd9bd3849f1d41b13c2afd53a.tar.bz2 scala-836f5fbd907fe00bd9bd3849f1d41b13c2afd53a.zip |
*** empty log message ***
Diffstat (limited to 'test/files/neg')
-rw-r--r-- | test/files/neg/bug44.check | 6 | ||||
-rw-r--r-- | test/files/neg/bug44.scala | 5 | ||||
-rw-r--r-- | test/files/neg/refine.check | 6 | ||||
-rw-r--r-- | test/files/neg/refine.scala | 6 | ||||
-rw-r--r-- | test/files/neg/vincent1.check | 7 | ||||
-rw-r--r-- | test/files/neg/vincent1.scala | 19 |
6 files changed, 0 insertions, 49 deletions
diff --git a/test/files/neg/bug44.check b/test/files/neg/bug44.check deleted file mode 100644 index 9347758ac9..0000000000 --- a/test/files/neg/bug44.check +++ /dev/null @@ -1,6 +0,0 @@ -bug44.scala:2: type mismatch; - found : scala.Object - required: scala.Object { def t: scala.Int } - var x: Object { def t: Int; } = new Object() { - ^ -one error found diff --git a/test/files/neg/bug44.scala b/test/files/neg/bug44.scala deleted file mode 100644 index 7989838250..0000000000 --- a/test/files/neg/bug44.scala +++ /dev/null @@ -1,5 +0,0 @@ -abstract class C { - var x: Object { def t: Int; } = new Object() { - def t: Int = 1; - } -} diff --git a/test/files/neg/refine.check b/test/files/neg/refine.check deleted file mode 100644 index 271451e65e..0000000000 --- a/test/files/neg/refine.check +++ /dev/null @@ -1,6 +0,0 @@ -refine.scala:3: type mismatch; - found : scala.Object - required: scala.Object { def t(): java.lang.String } - val x: Object { def t(): String } = new Object { - ^ -one error found diff --git a/test/files/neg/refine.scala b/test/files/neg/refine.scala deleted file mode 100644 index 5d175f26f5..0000000000 --- a/test/files/neg/refine.scala +++ /dev/null @@ -1,6 +0,0 @@ -object test { - - val x: Object { def t(): String } = new Object { - def t(): String = "1"; - } -} diff --git a/test/files/neg/vincent1.check b/test/files/neg/vincent1.check deleted file mode 100644 index a9f60e9ad2..0000000000 --- a/test/files/neg/vincent1.check +++ /dev/null @@ -1,7 +0,0 @@ -vincent1.scala:7: type x.type escapes its defining scope as part of scala.Object { type T = x.T } - class Functor(x: A) { type T = x.T } - ^ -vincent1.scala:9: type x.type escapes its defining scope as part of test.B { type T = x.T } - def functor(x: A): B { type T = x.T } = - ^ -two errors found diff --git a/test/files/neg/vincent1.scala b/test/files/neg/vincent1.scala deleted file mode 100644 index fb047305ff..0000000000 --- a/test/files/neg/vincent1.scala +++ /dev/null @@ -1,19 +0,0 @@ -object test { - - trait A { type T; } - - trait B { type T; } - - class Functor(x: A) { type T = x.T } - - def functor(x: A): B { type T = x.T } = - new B { - type T = x.T; - }; - - val a = new A { type T = String }; - val b = functor(a); - - val s: b.T = "coucou"; - -} |