From d8ba5d091e5641553b438ef9930a6023a2709dcd Mon Sep 17 00:00:00 2001 From: Paul Phillips Date: Tue, 20 Mar 2012 13:05:17 -0700 Subject: Revert irrefutability commits. Temporary reversion of irrefutability commits in interests of stable milestone. Expect to restore shortly. --- test/files/pos/irrefutable.scala | 22 ---------------------- 1 file changed, 22 deletions(-) delete mode 100644 test/files/pos/irrefutable.scala (limited to 'test/files/pos/irrefutable.scala') 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 - } -} -- cgit v1.2.3