diff options
author | michelou <michelou@epfl.ch> | 2008-01-23 12:52:43 +0000 |
---|---|---|
committer | michelou <michelou@epfl.ch> | 2008-01-23 12:52:43 +0000 |
commit | c3c207c8f154ed7936840d3d228ddb6eefb836a1 (patch) | |
tree | 975d4a1bc3902371ecfd066793e6c424eccbfc6d | |
parent | 2f56eefee4e741e38cfd58d580173a69cfd93deb (diff) | |
download | scala-c3c207c8f154ed7936840d3d228ddb6eefb836a1.tar.gz scala-c3c207c8f154ed7936840d3d228ddb6eefb836a1.tar.bz2 scala-c3c207c8f154ed7936840d3d228ddb6eefb836a1.zip |
updated check file
-rw-r--r-- | test/files/neg/bug1279a.check | 4 |
1 files changed, 3 insertions, 1 deletions
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 |