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 | |
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')
-rwxr-xr-x | test/files/pos/escapes2.scala | 5 | ||||
-rw-r--r-- | test/files/pos/viewtest2.scala | 2 |
2 files changed, 6 insertions, 1 deletions
diff --git a/test/files/pos/escapes2.scala b/test/files/pos/escapes2.scala new file mode 100755 index 0000000000..b94066936a --- /dev/null +++ b/test/files/pos/escapes2.scala @@ -0,0 +1,5 @@ +object Test { + class C3[T](val elem: T) + class D3[T](val elemD: T) extends C3[T](elemD) + def f[T](x: C3[T]) = x match { case d: D3[t] => d.elemD } +} 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 = { |