From 34572d6e7aa24b93a0dba89e214ec2869b44d68c Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Wed, 23 Jul 2008 14:19:45 +0000 Subject: (1) made base type sequences lazy in their argu... (1) made base type sequences lazy in their arguments. Made `validateType' in RefChecks more lenient. First shot at allowing higher-kinded intersection types. --- test/files/neg/bug987.check | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'test/files/neg/bug987.check') diff --git a/test/files/neg/bug987.check b/test/files/neg/bug987.check index 5da1e1cbe3..4cad622ab8 100644 --- a/test/files/neg/bug987.check +++ b/test/files/neg/bug987.check @@ -1,16 +1,16 @@ bug987.scala:15: error: illegal inheritance; class E inherits different type instances of trait B: -B[C] and B[D] +B[D] and B[C] class E extends D ^ bug987.scala:20: error: illegal inheritance; class F inherits different type instances of trait B: -B[C] and B[D] +B[D] and B[C] class F extends D ^ bug987.scala:25: error: illegal inheritance; class D inherits different type instances of trait B: -B[C] and B[D] +B[D] and B[C] abstract class D extends C with B[D] {} ^ bug987.scala:25: error: type arguments [D] do not conform to trait B's type parameter bounds [T <: B[T]] -- cgit v1.2.3