diff options
| author | Martin Odersky <odersky@gmail.com> | 2007-11-17 12:30:47 +0000 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2007-11-17 12:30:47 +0000 |
| commit | 3818b76a0d280d28316b1607698163c8da4f7a67 (patch) | |
| tree | 288d492cd06fcbc7ea1ce367024d02c0ae681890 /test/files/neg | |
| parent | 509410ff39e6ce1abe0b3437ce8d06bafa52ba19 (diff) | |
| download | scala-3818b76a0d280d28316b1607698163c8da4f7a67.tar.gz scala-3818b76a0d280d28316b1607698163c8da4f7a67.tar.bz2 scala-3818b76a0d280d28316b1607698163c8da4f7a67.zip | |
updated checked files
Diffstat (limited to 'test/files/neg')
| -rw-r--r-- | test/files/neg/bug1010.check | 2 | ||||
| -rw-r--r-- | test/files/neg/bug608.check | 2 | ||||
| -rw-r--r-- | test/files/neg/sabin2.check | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/test/files/neg/bug1010.check b/test/files/neg/bug1010.check index a0a97e940c..3cf9738eaa 100644 --- a/test/files/neg/bug1010.check +++ b/test/files/neg/bug1010.check @@ -1,6 +1,6 @@ bug1010.scala:14: error: type mismatch; found : MailBox#Message - required: _1.in.Message where val _1: Actor + required: _3.in.Message where val _3: Actor unstable.send(msg) // in.Message becomes unstable.Message, but that's ok since Message is a concrete type member ^ one error found diff --git a/test/files/neg/bug608.check b/test/files/neg/bug608.check index c2c53849ce..8337c513ff 100644 --- a/test/files/neg/bug608.check +++ b/test/files/neg/bug608.check @@ -1,6 +1,6 @@ bug608.scala:16: error: type mismatch; found : (a) => a - required: (hs{type s = hs; type a = ha}#a) => ? + required: (_1.a) => ? where val _1: hs{type s = hs; type a = ha} = g(f(x).bimap(id)) ^ one error found diff --git a/test/files/neg/sabin2.check b/test/files/neg/sabin2.check index 0e148fa038..92578bc23e 100644 --- a/test/files/neg/sabin2.check +++ b/test/files/neg/sabin2.check @@ -1,6 +1,6 @@ sabin2.scala:22: error: type mismatch; found : Test.Base#T - required: _1.T where val _1: Test.Base + required: _7.T where val _7: Test.Base a.set(b.get()) // Error ^ one error found |