diff options
author | Burak Emir <emir@epfl.ch> | 2007-01-07 11:09:14 +0000 |
---|---|---|
committer | Burak Emir <emir@epfl.ch> | 2007-01-07 11:09:14 +0000 |
commit | dae92a5589e0719ab6fa22f047deb35d25c14fc4 (patch) | |
tree | 226d92dfa32e75afe6d9a2e139188395eef8fccb /test/files/neg/bug696.check | |
parent | 2f6d0cf0fd127be610e2627d89d363fe8cbb1cfe (diff) | |
download | scala-dae92a5589e0719ab6fa22f047deb35d25c14fc4.tar.gz scala-dae92a5589e0719ab6fa22f047deb35d25c14fc4.tar.bz2 scala-dae92a5589e0719ab6fa22f047deb35d25c14fc4.zip |
added colon
Diffstat (limited to 'test/files/neg/bug696.check')
-rw-r--r-- | test/files/neg/bug696.check | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/files/neg/bug696.check b/test/files/neg/bug696.check index 5a3ef2ff85..1b11d5074f 100644 --- a/test/files/neg/bug696.check +++ b/test/files/neg/bug696.check @@ -1,9 +1,9 @@ -bug696.scala:3 error: implicit method WithType is not contractive, +bug696.scala:3: error: implicit method WithType is not contractive, because the implicit parameter type TypeUtil0.this.Type[S] is not strictly contained in the signature TypeUtil0.this.Type[S with T] implicit def WithType[S,T](implicit tpeS : Type[S], tpeT : Type[T]) : Type[S with T] = null ^ -bug696.scala:4 error: no implicit argument matching parameter type TypeUtil0.this.Type[scala.Any] was found. +bug696.scala:4: error: no implicit argument matching parameter type TypeUtil0.this.Type[scala.Any] was found. as[Any](null); ^ two errors found |