blob: c07be8edf0ccd203caa9d02f685499674839ef86 (
plain) (
tree)
|
|
object Test extends Application {
def unreachable1(xs:Seq[Char]) = xs match {
case Seq(x, y, _*) => x::y::Nil
case Seq(x, y, z, w) => List(z,w) // redundant!
}
def unreachable2(xs:Seq[Char]) = xs match {
case Seq(x, y, _*) => x::y::Nil
case Seq(x, y) => List(x, y)
}
def not_unreachable(xs:Seq[Char]) = xs match {
case Seq(x, y, _*) => x::y::Nil
case Seq(x) => List(x)
}
def not_unreachable2(xs:Seq[Char]) = xs match {
case Seq(x, y) => x::y::Nil
case Seq(x, y, z, _*) => List(x,y)
}
}
|