summaryrefslogtreecommitdiff
path: root/test/files/neg
diff options
context:
space:
mode:
authorMartin Odersky <odersky@gmail.com>2004-01-07 15:28:48 +0000
committerMartin Odersky <odersky@gmail.com>2004-01-07 15:28:48 +0000
commit836f5fbd907fe00bd9bd3849f1d41b13c2afd53a (patch)
treeceda286a11d8f97234bb77634f8e21f23a795433 /test/files/neg
parentdcac982fd6aefe45c6e91cb582044c54e40dee47 (diff)
downloadscala-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.check6
-rw-r--r--test/files/neg/bug44.scala5
-rw-r--r--test/files/neg/refine.check6
-rw-r--r--test/files/neg/refine.scala6
-rw-r--r--test/files/neg/vincent1.check7
-rw-r--r--test/files/neg/vincent1.scala19
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";
-
-}