From 981a0d142c0bec9d34bc1ddfff50658ecef82ff1 Mon Sep 17 00:00:00 2001
From: Martin Odersky <odersky@gmail.com>
Date: Tue, 8 Jul 2003 15:08:56 +0000
Subject: *** empty log message ***

---
 test/files/neg/S4.check       | 6 +++---
 test/files/neg/vincent1.check | 7 +++++--
 test/files/neg/vincent1.scala | 2 ++
 3 files changed, 10 insertions(+), 5 deletions(-)

(limited to 'test/files')

diff --git a/test/files/neg/S4.check b/test/files/neg/S4.check
index 7fd616488b..49f79ba97a 100644
--- a/test/files/neg/S4.check
+++ b/test/files/neg/S4.check
@@ -1,4 +1,4 @@
-S4.scala:5: stable identifier required, but a found.
-    def foo(x: a.Inner) = x;
-               ^
+S4.scala:4: stable identifier required, but a found.
+class S4(a: Other) extends a.Inner() {
+                           ^
 one error found
diff --git a/test/files/neg/vincent1.check b/test/files/neg/vincent1.check
index b9243e7560..32dffd2884 100644
--- a/test/files/neg/vincent1.check
+++ b/test/files/neg/vincent1.check
@@ -1,4 +1,7 @@
-vincent1.scala:7: type x.type escapes its defining scope as part of test.B { type T = x.T }
+vincent1.scala:7: stable identifier required, but x found.
+  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 } =
                      ^
-one error found
+two errors found
diff --git a/test/files/neg/vincent1.scala b/test/files/neg/vincent1.scala
index 6082b271b3..fb047305ff 100644
--- a/test/files/neg/vincent1.scala
+++ b/test/files/neg/vincent1.scala
@@ -4,6 +4,8 @@ object test {
 
   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;
-- 
cgit v1.2.3