From 03449ed20a3cca9e8d974c7efeff6b4e01ecb66d Mon Sep 17 00:00:00 2001
From: Martin Odersky <odersky@gmail.com>
Date: Thu, 31 Jul 2003 09:57:59 +0000
Subject: *** empty log message ***

---
 test/files/neg/S7.check    |  2 +-
 test/files/neg/bug25.check |  4 ++++
 test/files/neg/bug25.scala |  6 ++++++
 test/files/neg/bug38.check |  2 +-
 test/files/neg/bug67.check | 11 +++++++++++
 test/files/neg/bug67.scala | 21 +++++++++++++++++++++
 test/files/neg/bug71.check |  4 ++++
 test/files/neg/bug71.scala | 10 ++++++++++
 test/files/neg/bug74.check |  4 ++++
 test/files/neg/bug74.scala |  3 +++
 test/files/neg/bug75.check |  5 +++++
 test/files/neg/bug75.scala | 12 ++++++++++++
 12 files changed, 82 insertions(+), 2 deletions(-)
 create mode 100644 test/files/neg/bug25.check
 create mode 100644 test/files/neg/bug25.scala
 create mode 100644 test/files/neg/bug67.check
 create mode 100644 test/files/neg/bug67.scala
 create mode 100644 test/files/neg/bug71.check
 create mode 100644 test/files/neg/bug71.scala
 create mode 100644 test/files/neg/bug74.check
 create mode 100644 test/files/neg/bug74.scala
 create mode 100644 test/files/neg/bug75.check
 create mode 100644 test/files/neg/bug75.scala

(limited to 'test/files/neg')

diff --git a/test/files/neg/S7.check b/test/files/neg/S7.check
index 22769d0fe7..59c57786b3 100644
--- a/test/files/neg/S7.check
+++ b/test/files/neg/S7.check
@@ -1,4 +1,4 @@
 S7.scala:6: illegal cyclic reference involving class S7.A
     class C() extends a.A() {}
-          ^
+                       ^
 one error found
diff --git a/test/files/neg/bug25.check b/test/files/neg/bug25.check
new file mode 100644
index 0000000000..75ae98eac7
--- /dev/null
+++ b/test/files/neg/bug25.check
@@ -0,0 +1,4 @@
+bug25.scala:5: constructor javax.rmi.PortableRemoteObject cannot be accessed in javax.rmi.type
+class A extends javax.rmi.PortableRemoteObject();
+                         ^
+one error found
diff --git a/test/files/neg/bug25.scala b/test/files/neg/bug25.scala
new file mode 100644
index 0000000000..96a3c7dea3
--- /dev/null
+++ b/test/files/neg/bug25.scala
@@ -0,0 +1,6 @@
+/** Signature of PortableRemoteObject's constructor is:
+    protected PortableRemoteObject() throws RemoteException
+*/
+
+class A extends javax.rmi.PortableRemoteObject();
+
diff --git a/test/files/neg/bug38.check b/test/files/neg/bug38.check
index 1f77aa8557..27c2e52586 100644
--- a/test/files/neg/bug38.check
+++ b/test/files/neg/bug38.check
@@ -1,7 +1,7 @@
 bug38.scala:3: * is not a member of scala.xml of type scala.xml.type
   import scala.xml.* ; // does not work
          ^
-bug38.scala:7: not found: constructor Element
+bug38.scala:7: not found: type Element
       val foo = new Element { def getName = "hallo"; def getChildren = Nil; def getAttribs = new HashMap[String,String] };
                     ^
 two errors found
diff --git a/test/files/neg/bug67.check b/test/files/neg/bug67.check
new file mode 100644
index 0000000000..1a1990c311
--- /dev/null
+++ b/test/files/neg/bug67.check
@@ -0,0 +1,11 @@
+bug67.scala:15: constructor cannot be instantiated to expected type;
+ found   : D.this.ITree[A?,B?]
+ required: D.this.InsertTree[A,B]
+	val ITree(t1) = insert_1(key, value, tree, s);
+            ^
+bug67.scala:19: no type parameters for method INode of type [A,B](D.this.Tree[A,B],scala.Int,scala.Int)D.this.INode[A,B] exist so that it can be applied to arguments (D.this.Tree[A,B],scala.Int,scala.Int)
+ --- because ---
+result type D.this.INode[A,B] is incompatible with expected type D.this.InsertTree[A,B]
+	INode(t0,1,s);
+             ^
+two errors found
diff --git a/test/files/neg/bug67.scala b/test/files/neg/bug67.scala
new file mode 100644
index 0000000000..48229defaa
--- /dev/null
+++ b/test/files/neg/bug67.scala
@@ -0,0 +1,21 @@
+class D[A <: Ord[A],B] {
+    abstract class Tree[A <: Ord[A],B]();
+    case class Node[A,B](key:A,value:B,smaller:Tree[A,B],bigger:Tree[A,B])
+	extends Tree[A,B];
+    case class Nil[A,B]() extends Tree[A,B];
+
+
+    abstract case class InsertTree[A,B]();
+    case class ITree[A,B](t:Tree[A,B]); // forgot extends InsertTree[A,B];
+    case class INode[A,B](t:Tree[A,B],height:int,size:int); // forgot extends InsertTree[A,B];
+    val tree:Tree[A,B] = Nil();
+    val s = 0;
+
+    def insert(key:A, value:B) = {
+	val ITree(t1) = insert_1(key, value, tree, s);
+    }
+
+    def insert_1(key:A, value:B, t0:Tree[A,B], s:int):InsertTree[A,B] = {
+	INode(t0,1,s);
+    }
+}
diff --git a/test/files/neg/bug71.check b/test/files/neg/bug71.check
new file mode 100644
index 0000000000..8a939dbbae
--- /dev/null
+++ b/test/files/neg/bug71.check
@@ -0,0 +1,4 @@
+bug71.scala:3: class ga2 needs to be abstract, since method foo in class gu.ga1 is not defined
+object ga2 extends gu.ga1() {
+       ^
+one error found
diff --git a/test/files/neg/bug71.scala b/test/files/neg/bug71.scala
new file mode 100644
index 0000000000..67c3cdd7f9
--- /dev/null
+++ b/test/files/neg/bug71.scala
@@ -0,0 +1,10 @@
+// ga2
+
+object ga2 extends gu.ga1() {
+  // implementation of foo()
+  def foo():java.lang.String = "foo";
+  // my main inherited
+  def main( args:Array[String] ):Unit = {
+    mymain ();
+  }
+}
diff --git a/test/files/neg/bug74.check b/test/files/neg/bug74.check
new file mode 100644
index 0000000000..dec69cd35f
--- /dev/null
+++ b/test/files/neg/bug74.check
@@ -0,0 +1,4 @@
+bug74.scala:2: Int is not an enclosing class
+  def f = Int.super.hashCode;
+          ^
+one error found
diff --git a/test/files/neg/bug74.scala b/test/files/neg/bug74.scala
new file mode 100644
index 0000000000..8e1301e5b9
--- /dev/null
+++ b/test/files/neg/bug74.scala
@@ -0,0 +1,3 @@
+class A {
+  def f = Int.super.hashCode;
+}
diff --git a/test/files/neg/bug75.check b/test/files/neg/bug75.check
new file mode 100644
index 0000000000..a988ebe40c
--- /dev/null
+++ b/test/files/neg/bug75.check
@@ -0,0 +1,5 @@
+bug75.scala:6: value tree of type F.this.Nil[A]
+ cannot override value tree in class F of type scala.AllRef
+	new F[A](){ override val tree=t;};
+                                 ^
+one error found
diff --git a/test/files/neg/bug75.scala b/test/files/neg/bug75.scala
new file mode 100644
index 0000000000..b0dc4408e1
--- /dev/null
+++ b/test/files/neg/bug75.scala
@@ -0,0 +1,12 @@
+class F[A]() {
+    case class Nil[B]() {}
+
+    val tree = null;
+    protected def mkF[A](t:Nil[A]) =
+	new F[A](){ override val tree=t;};
+
+    def update = {
+	mkF(Nil());
+    }
+
+}
-- 
cgit v1.2.3