summaryrefslogtreecommitdiff
path: root/test/files/pos
diff options
context:
space:
mode:
authorPaul Phillips <paulp@improving.org>2012-03-20 13:05:17 -0700
committerPaul Phillips <paulp@improving.org>2012-03-20 13:55:15 -0700
commitd8ba5d091e5641553b438ef9930a6023a2709dcd (patch)
tree6d1f0dce613bea08926005b0232033c774a68970 /test/files/pos
parent743d954abfae4ae8a2e2886dc527df6a33a669c1 (diff)
downloadscala-d8ba5d091e5641553b438ef9930a6023a2709dcd.tar.gz
scala-d8ba5d091e5641553b438ef9930a6023a2709dcd.tar.bz2
scala-d8ba5d091e5641553b438ef9930a6023a2709dcd.zip
Revert irrefutability commits.
Temporary reversion of irrefutability commits in interests of stable milestone. Expect to restore shortly.
Diffstat (limited to 'test/files/pos')
-rw-r--r--test/files/pos/irrefutable.scala22
-rw-r--r--test/files/pos/t1336.scala10
-rw-r--r--test/files/pos/t5589.scala22
3 files changed, 0 insertions, 54 deletions
diff --git a/test/files/pos/irrefutable.scala b/test/files/pos/irrefutable.scala
deleted file mode 100644
index 0a792b644a..0000000000
--- a/test/files/pos/irrefutable.scala
+++ /dev/null
@@ -1,22 +0,0 @@
-// The test which this should perform but does not
-// is that f1 is recognized as irrefutable and f2 is not
-// This can be recognized via the generated classes:
-//
-// A$$anonfun$f1$1.class
-// A$$anonfun$f2$1.class
-// A$$anonfun$f2$2.class
-//
-// The extra one in $f2$ is the filter.
-//
-// !!! Marking with exclamation points so maybe someday
-// this test will be finished.
-class A {
- case class Foo[T](x: T)
-
- def f1(xs: List[Foo[Int]]) = {
- for (Foo(x: Int) <- xs) yield x
- }
- def f2(xs: List[Foo[Any]]) = {
- for (Foo(x: Int) <- xs) yield x
- }
-}
diff --git a/test/files/pos/t1336.scala b/test/files/pos/t1336.scala
deleted file mode 100644
index 63967985c7..0000000000
--- a/test/files/pos/t1336.scala
+++ /dev/null
@@ -1,10 +0,0 @@
-object Foo {
- def foreach( f : ((Int,Int)) => Unit ) {
- println("foreach")
- f(1,2)
- }
-
- for( (a,b) <- this ) {
- println((a,b))
- }
-}
diff --git a/test/files/pos/t5589.scala b/test/files/pos/t5589.scala
deleted file mode 100644
index 69cbb20391..0000000000
--- a/test/files/pos/t5589.scala
+++ /dev/null
@@ -1,22 +0,0 @@
-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
-**/
-}