Aladdin - Scala Bugtracking
[#1041] project: compiler priority: low category: bug
submitter assigned to status date submitted
Gilles Martin fixed 2007-04-10 17:07:19.0
subject impossible cases in match are tolerated
code
(1 :: 2 :: Nil) match {
  case 1 => 4
}
what happened
It compiles.
what expected It should not compile. The compiler should know that a List[Int] cannot be matched by an Int.
[back to overview]
Changes of this bug report
Martin  edited on  2007-04-16 09:58:58.0