From c3c207c8f154ed7936840d3d228ddb6eefb836a1 Mon Sep 17 00:00:00 2001 From: michelou Date: Wed, 23 Jan 2008 12:52:43 +0000 Subject: updated check file --- test/files/neg/bug1279a.check | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'test/files') diff --git a/test/files/neg/bug1279a.check b/test/files/neg/bug1279a.check index 48b84e0f46..a2259f6cda 100644 --- a/test/files/neg/bug1279a.check +++ b/test/files/neg/bug1279a.check @@ -1,6 +1,8 @@ bug1279a.scala:34: error: no type parameters for method all4Impl: (M{type T <: U})Stream[M{type T <: U}] exist so that it can be applied to arguments (first.selfType) --- because --- -result type Stream[M{type T <: U}] is incompatible with expected type Stream[M{type T <: U}] +argument expression's type is not compatible with formal parameter type; + found : first.selfType + required: M{type T <: this.T} def all4Impl[U](first: M {type T <: U}): Stream[M {type T <: U}] = Stream.cons(first, all4Impl(first.next)) ^ one error found -- cgit v1.2.3