diff options
Diffstat (limited to 'tests/pending/pos/patmat.scala')
-rw-r--r-- | tests/pending/pos/patmat.scala | 163 |
1 files changed, 0 insertions, 163 deletions
diff --git a/tests/pending/pos/patmat.scala b/tests/pending/pos/patmat.scala deleted file mode 100644 index 53e1c5f1f..000000000 --- a/tests/pending/pos/patmat.scala +++ /dev/null @@ -1,163 +0,0 @@ -// these used to be in test/files/run/patmatnew.scala -// the ticket numbers are from the old tracker, not Trac - -object ZipFun { - //just compilation - def zipFun[a, b](xs: List[a], ys: List[b]): List[Tuple2[a, b]] = ((xs, ys): @unchecked) match { - // !!! case (List(), _), (_, List()) => List() - case (x :: xs1, y :: ys1) => (x, y) :: zipFun(xs1, ys1) - } -} - -object Test1253 { // compile-only - def foo(t: (Int, String)) = t match { - case (1, "") => throw new Exception - case (r, _) => throw new Exception(r.toString) - } -} - -object Foo1258 { - case object baz - def foo(bar: AnyRef) = { - val Baz = baz - bar match { - case Baz => () - } - } -} - -object t1261 { - sealed trait Elem - case class Foo() extends Elem - case class Bar() extends Elem - trait Row extends Elem - object Row { - def unapply(r: Row) = true - - def f(elem: Elem): Unit = { - elem match { - case Bar() => ; - case Row() => ; - case Foo() => ; // used to give ERROR (unreachable code) - } - } - } -} - -sealed abstract class Tree -case class Node(l: Tree, v: Int, r: Tree) extends Tree -case object EmptyTree extends Tree - -object Ticket335 { // compile-only - def runTest(): Unit = { - (EmptyTree: Tree @unchecked) match { - case Node(_, v, _) if (v == 0) => 0 - case EmptyTree => 2 - } - } -} - -object TestIfOpt { //compile-only "test EqualsPatternClass in combination with MixTypes opt, bug #1278" - trait Token { - val offset: Int - def matching: Option[Token] - } - def go(tok: Token) = (tok.matching: @unchecked) match { - case Some(other) if true => Some(other) - case _ if true => tok.matching match { - case Some(other) => Some(other) - case _ => None - } - } -} - -object Go { // bug #1277 compile-only - trait Core { def next: Position = null } - trait Dir - val NEXT = new Dir {} - - trait Position extends Core - - (null: Core, null: Dir) match { - case (_, NEXT) if true => false // no matter whether NEXT test succeed, cannot throw column because of guard - case (at2: Position, dir) => true - } -} - -trait Outer { // bug #1282 compile-only - object No - trait File { - (null: AnyRef) match { - case No => false - } - } -} - -class Test806_818 { // #806, #811 compile only -- type of bind - // t811 - trait Core { - trait NodeImpl - trait OtherImpl extends NodeImpl - trait DoubleQuoteImpl extends NodeImpl - def asDQ(node: OtherImpl) = node match { - case dq: DoubleQuoteImpl => dq - } - } - - trait IfElseMatcher { - type Node <: NodeImpl - trait NodeImpl - trait IfImpl - private def coerceIf(node: Node) = node match { - case node: IfImpl => node // var node is of type Node with IfImpl! - case _ => null - } - } -} - -object Ticket495bis { - def signum(x: Int): Int = - x match { - case 0 => 0 - case _ if x < 0 => -1 - case _ if x > 0 => 1 - } - def pair_m(x: Int, y: Int) = - (x, y) match { - case (_, 0) => 0 - case (-1, _) => -1 - case (_, _) => 1 - } -} - -object Ticket522 { - class Term[X] - object App { - // i'm hidden - case class InternalApply[Y, Z](fun: Y => Z, arg: Y) extends Term[Z] - - def apply[Y, Z](fun: Y => Z, arg: Y): Term[Z] = - new InternalApply[Y, Z](fun, arg) - - def unapply[X](arg: Term[X]): Option[(Y => Z, Y)] forSome { type Y; type Z } = - arg match { - case i: InternalApply[y, z] => Some(i.fun, i.arg) - case _ => None - } - } - - App({ x: Int => x }, 5) match { - case App(arg, a) => - } -} - -object Ticket710 { - def method: Unit = { - sealed class Parent() - case object Child extends Parent() - val x: Parent = Child - x match { - case Child => () - } - } -} |