From 032b209125585011194e6195f1244b882b5b4d8f Mon Sep 17 00:00:00 2001 From: Paul Phillips Date: Mon, 19 Mar 2012 20:10:29 -0700 Subject: Spiced up the irrefutability tests a bit. --- test/files/neg/t5589neg.scala | 22 ---------------------- 1 file changed, 22 deletions(-) (limited to 'test/files/neg/t5589neg.scala') diff --git a/test/files/neg/t5589neg.scala b/test/files/neg/t5589neg.scala index ddd382d8d8..31ff2c3693 100644 --- a/test/files/neg/t5589neg.scala +++ b/test/files/neg/t5589neg.scala @@ -1,26 +1,4 @@ class A { - // First three compile. - def f1(x: Either[Int, String]) = x.right map (y => y) - def f2(x: Either[Int, String]) = for (y <- x.right) yield y - def f3(x: Either[Int, (String, Int)]) = x.right map { case (y1, y2) => (y1, y2) } - // Last one fails. - def f4(x: Either[Int, (String, Int)]) = for ((y1, y2) <- x.right) yield ((y1, y2)) -/** -./a.scala:5: error: constructor cannot be instantiated to expected type; - found : (T1, T2) - required: Either[Nothing,(String, Int)] - def f4(x: Either[Int, (String, Int)]) = for ((y1, y2) <- x.right) yield ((y1, y2)) - ^ -./a.scala:5: error: not found: value y1 - def f4(x: Either[Int, (String, Int)]) = for ((y1, y2) <- x.right) yield ((y1, y2)) - ^ -./a.scala:5: error: not found: value y2 - def f4(x: Either[Int, (String, Int)]) = for ((y1, y2) <- x.right) yield ((y1, y2)) - ^ -three errors found -**/ - - def f5(x: Either[Int, String]) = for ((y1, y2: String) <- x.right) yield ((y1, y2)) def f6(x: Either[Int, String]) = for ((y1, y2: Any) <- x.right) yield ((y1, y2)) def f7(x: Either[Int, (String, Int)]) = for (y1 @ Tuple1(y2) <- x.right) yield ((y1, y2)) -- cgit v1.2.3