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/neg/vincent1.check | |
| parent | 1ec3e2c664213c8df4a6736314992010b7640dea (diff) | |
| download | scala-981a0d142c0bec9d34bc1ddfff50658ecef82ff1.tar.gz scala-981a0d142c0bec9d34bc1ddfff50658ecef82ff1.tar.bz2 scala-981a0d142c0bec9d34bc1ddfff50658ecef82ff1.zip | |
*** empty log message ***
Diffstat (limited to 'test/files/neg/vincent1.check')
| -rw-r--r-- | test/files/neg/vincent1.check | 7 |
1 files changed, 5 insertions, 2 deletions
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 |