Aladdin - Scala Bugtracking
[#970] project: compiler priority: medium category: bug
submitter assigned to status date submitted
Stephane Burak fixed 2007-02-27 10:58:55.0
subject too many warnings for exhaustivity checks
code 
object test extends Application {
  (List[Int](), List[Int](1)) match {
    case (Nil, _) =>
    case (_, Nil) =>
    case (h1 :: t1, h2 :: t2) =>
  }
}
what happened 
test.scala:5: warning: does not cover case {class ::}
    case (_, Nil) =>
             ^
test.scala:6: warning: does not cover case {object Nil}
    case (h1 :: t1, h2 :: t2) =>
                       ^
two warnings found
what expected no warnings (or a justification!)
[back to overview]
Changes of this bug report
Stephane  edited on  2007-02-27 10:59:14.0
Burak  edited on  2007-07-06 11:45:27.0
was fixed for a while already