Aladdin - Scala Bugtracking
[#1093] project: compiler priority: low category: bug
submitter assigned to status date submitted
Burak Burak fixed 2007-05-09 15:54:44.0
subject [contrib #460] Exhaustiveness check doesn't handle alternation
code 
Some(3) match { case Some(1 | 2) => 1; case Some(3) => 2 }
what happened 
<console>:4: error: unreachable code
  val unnamed0 = Some(3) match { case Some(1 | 2) => 1; case Some(3) => 2 }
                                                                        ^
what expected Compiles and returns 2.
[back to overview]
Changes of this bug report
Burak  edited on  2007-05-09 15:55:19.0