diff options
author | Martin Odersky <odersky@gmail.com> | 2008-07-23 14:19:45 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2008-07-23 14:19:45 +0000 |
commit | 34572d6e7aa24b93a0dba89e214ec2869b44d68c (patch) | |
tree | 0f48e83fbf949da23edbfd457d21e25aa435e048 /test/files/neg/bug987.check | |
parent | 80f341ff128b066edbe5966a26276aa9323b983b (diff) | |
download | scala-34572d6e7aa24b93a0dba89e214ec2869b44d68c.tar.gz scala-34572d6e7aa24b93a0dba89e214ec2869b44d68c.tar.bz2 scala-34572d6e7aa24b93a0dba89e214ec2869b44d68c.zip |
(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.
Diffstat (limited to 'test/files/neg/bug987.check')
-rw-r--r-- | test/files/neg/bug987.check | 6 |
1 files changed, 3 insertions, 3 deletions
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]] |