diff options
| author | Martin Odersky <odersky@gmail.com> | 2003-07-08 15:08:56 +0000 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2003-07-08 15:08:56 +0000 |
| commit | 981a0d142c0bec9d34bc1ddfff50658ecef82ff1 (patch) | |
| tree | 2da2451c5ff43138a1a6244dac30d4220c893974 /test/files | |
| parent | 1ec3e2c664213c8df4a6736314992010b7640dea (diff) | |
| download | scala-981a0d142c0bec9d34bc1ddfff50658ecef82ff1.tar.gz scala-981a0d142c0bec9d34bc1ddfff50658ecef82ff1.tar.bz2 scala-981a0d142c0bec9d34bc1ddfff50658ecef82ff1.zip | |
*** empty log message ***
Diffstat (limited to 'test/files')
| -rw-r--r-- | test/files/neg/S4.check | 6 | ||||
| -rw-r--r-- | test/files/neg/vincent1.check | 7 | ||||
| -rw-r--r-- | test/files/neg/vincent1.scala | 2 |
3 files changed, 10 insertions, 5 deletions
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; |