diff options
| author | Martin Odersky <odersky@gmail.com> | 2006-10-20 13:37:17 +0000 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2006-10-20 13:37:17 +0000 |
| commit | f9e5afd36a8a241abc86c80197d8fbe10488280e (patch) | |
| tree | 0210b277aeabea10dc8eca0dc96171dcd5934976 /test/files/pos/viewtest2.scala | |
| parent | f3f8f974bf0ebbe4746fbe83103566e71e8b1e7c (diff) | |
| download | scala-f9e5afd36a8a241abc86c80197d8fbe10488280e.tar.gz scala-f9e5afd36a8a241abc86c80197d8fbe10488280e.tar.bz2 scala-f9e5afd36a8a241abc86c80197d8fbe10488280e.zip | |
fixed problems in type patterns
made some type error messages more precise
Diffstat (limited to 'test/files/pos/viewtest2.scala')
| -rw-r--r-- | test/files/pos/viewtest2.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/files/pos/viewtest2.scala b/test/files/pos/viewtest2.scala index 66cd1aa1bd..6a6ed96df7 100644 --- a/test/files/pos/viewtest2.scala +++ b/test/files/pos/viewtest2.scala @@ -40,7 +40,7 @@ object O { implicit def view3[a <% Ordered[a]](x: List[a]): Ordered[List[a]] = new Ordered[List[a]] { def compareTo [b >: List[a] <% Ordered[b]](y: b): int = y match { - case y1: List[a] => compareLists(x, y1) + case y1: List[a1] => compareLists(x, y1.asInstanceOf[List[a]]) case _ => -(y compareTo x) } private def compareLists(xs: List[a], ys: List[a]): int = { |