Fixed bugs 633, 637, 639, 640

5 files changed, 25 insertions, 6 deletions

diff --git a/test/files/neg/bug563.check b/test/files/neg/bug563.check
index 0f2eac240e..3c7423ea7d 100644
--- a/test/files/neg/bug563.check
+++ b/test/files/neg/bug563.check
@@ -1,9 +1,4 @@
 bug563.scala:6 error: missing parameter type
             map(n,ptr => new Cell(ptr.elem));
                   ^
-bug563.scala:6 error: no type parameters for method map: (scala.List[A],(A) => R)scala.List[R] exist so that it can be applied to arguments (scala.List[scala.Cell[scala.Int]],(<error>) => <error>)
- --- because ---
-result type scala.List[R] is incompatible with expected type scala.Unit
-            map(n,ptr => new Cell(ptr.elem));
-            ^
-two errors found
+one error found
diff --git a/test/files/neg/bug633.check b/test/files/neg/bug633.check
new file mode 100644
index 0000000000..55f827ee69
--- /dev/null
+++ b/test/files/neg/bug633.check
@@ -0,0 +1,4 @@
+bug633.scala:3 error: not found: type ListBuffer
+        def t(a : ListBuffer[String]) = {
+                  ^
+one error found
diff --git a/test/files/neg/bug633.scala b/test/files/neg/bug633.scala
new file mode 100644
index 0000000000..fd4e560720
--- /dev/null
+++ b/test/files/neg/bug633.scala
@@ -0,0 +1,8 @@
+object Test
+{
+        def t(a : ListBuffer[String]) = {
+                Console.println(a.length)
+        }
+
+        def main(argv : Array[String]) = t(null)
+}
diff --git a/test/files/neg/bug639.check b/test/files/neg/bug639.check
new file mode 100644
index 0000000000..7458952ce3
--- /dev/null
+++ b/test/files/neg/bug639.check
@@ -0,0 +1,9 @@
+/home/odersky/scala/test/files/pos/bug639.scala:1 error: not found: value a
+import a._
+       ^
+/home/odersky/scala/test/files/pos/bug639.scala:2 error: type mismatch;
+ found   : B
+ required: scala.Attribute
+[B]
+ ^
+two errors found
diff --git a/test/files/neg/bug639.scala b/test/files/neg/bug639.scala
new file mode 100644
index 0000000000..7be0968069
--- /dev/null
+++ b/test/files/neg/bug639.scala
@@ -0,0 +1,3 @@
+import a._
+[B]
+class C