diff options
author | Paul Phillips <paulp@improving.org> | 2012-03-19 20:10:29 -0700 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2012-03-19 20:13:36 -0700 |
commit | 032b209125585011194e6195f1244b882b5b4d8f (patch) | |
tree | 6871cd9e050289d6ee5760fd716d2e7d0295f43e /test/files/neg/t5589neg.check | |
parent | 365bb2b4e3ac880243736bf039b649a63b00ccb2 (diff) | |
download | scala-032b209125585011194e6195f1244b882b5b4d8f.tar.gz scala-032b209125585011194e6195f1244b882b5b4d8f.tar.bz2 scala-032b209125585011194e6195f1244b882b5b4d8f.zip |
Spiced up the irrefutability tests a bit.
Diffstat (limited to 'test/files/neg/t5589neg.check')
-rw-r--r-- | test/files/neg/t5589neg.check | 21 |
1 files changed, 14 insertions, 7 deletions
diff --git a/test/files/neg/t5589neg.check b/test/files/neg/t5589neg.check index e75fd2f4f7..b3ff16d7e4 100644 --- a/test/files/neg/t5589neg.check +++ b/test/files/neg/t5589neg.check @@ -1,30 +1,37 @@ -t5589neg.scala:24: error: constructor cannot be instantiated to expected type; +t5589neg.scala:2: warning: `withFilter' method does not yet exist on Either.RightProjection[Int,String], using `filter' method instead + def f5(x: Either[Int, String]) = for ((y1, y2: String) <- x.right) yield ((y1, y2)) + ^ +t5589neg.scala:2: error: constructor cannot be instantiated to expected type; found : (T1, T2) required: String def f5(x: Either[Int, String]) = for ((y1, y2: String) <- x.right) yield ((y1, y2)) ^ -t5589neg.scala:25: error: constructor cannot be instantiated to expected type; +t5589neg.scala:3: warning: `withFilter' method does not yet exist on Either.RightProjection[Int,String], using `filter' method instead + def f6(x: Either[Int, String]) = for ((y1, y2: Any) <- x.right) yield ((y1, y2)) + ^ +t5589neg.scala:3: error: constructor cannot be instantiated to expected type; found : (T1, T2) required: String def f6(x: Either[Int, String]) = for ((y1, y2: Any) <- x.right) yield ((y1, y2)) ^ -t5589neg.scala:26: error: constructor cannot be instantiated to expected type; +t5589neg.scala:4: error: constructor cannot be instantiated to expected type; found : (T1,) required: (String, Int) def f7(x: Either[Int, (String, Int)]) = for (y1 @ Tuple1(y2) <- x.right) yield ((y1, y2)) ^ -t5589neg.scala:26: error: not found: value y2 +t5589neg.scala:4: error: not found: value y2 def f7(x: Either[Int, (String, Int)]) = for (y1 @ Tuple1(y2) <- x.right) yield ((y1, y2)) ^ -t5589neg.scala:27: error: constructor cannot be instantiated to expected type; +t5589neg.scala:5: error: constructor cannot be instantiated to expected type; found : (T1, T2, T3) required: (String, Int) def f8(x: Either[Int, (String, Int)]) = for ((y1, y2, y3) <- x.right) yield ((y1, y2)) ^ -t5589neg.scala:27: error: not found: value y1 +t5589neg.scala:5: error: not found: value y1 def f8(x: Either[Int, (String, Int)]) = for ((y1, y2, y3) <- x.right) yield ((y1, y2)) ^ -t5589neg.scala:27: error: not found: value y2 +t5589neg.scala:5: error: not found: value y2 def f8(x: Either[Int, (String, Int)]) = for ((y1, y2, y3) <- x.right) yield ((y1, y2)) ^ +two warnings found 7 errors found |