From aaf919859f5dfa295aac8846bc109ceb87984a7e Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Thu, 23 Apr 2009 13:00:25 +0000 Subject: some small changes to implicits handling, exist... some small changes to implicits handling, existential abstraction, type parameter bounds checking --- test/files/neg/bug608.check | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'test/files/neg/bug608.check') 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 -- cgit v1.2.3