diff options
| author | Martin Odersky <odersky@gmail.com> | 2009-04-23 13:00:25 +0000 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2009-04-23 13:00:25 +0000 |
| commit | aaf919859f5dfa295aac8846bc109ceb87984a7e (patch) | |
| tree | 7b117c12aec2ee0e52a011867f8eb0eaea819b54 /test/files/neg/bug608.check | |
| parent | 4ae08113a6a1708ac53bd84b938c2a233df80476 (diff) | |
| download | scala-aaf919859f5dfa295aac8846bc109ceb87984a7e.tar.gz scala-aaf919859f5dfa295aac8846bc109ceb87984a7e.tar.bz2 scala-aaf919859f5dfa295aac8846bc109ceb87984a7e.zip | |
some small changes to implicits handling, exist...
some small changes to implicits handling, existential abstraction, type
parameter bounds checking
Diffstat (limited to 'test/files/neg/bug608.check')
| -rw-r--r-- | test/files/neg/bug608.check | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/files/neg/bug608.check b/test/files/neg/bug608.check index 8337c513ff..4e8eb4d709 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: (_1.a) => ? where val _1: hs{type s = hs; type a = ha} + required: (ha) => ? = g(f(x).bimap(id)) ^ one error found |