Aladdin - Scala Bugtracking
[#934] project: compiler priority: low category: bug
submitter assigned to status date submitted
Martin Burak fixed 2007-02-03 20:01:13.0
subject another spurious pattern warning
code 
scalac scala/tools/nsc/typechecker/RefChecks.scala
what happened 
typechecker/RefChecks.scala:619: warning: does not cover case {object Nil}
            Match(_, CaseDef(pat1, _, _) :: _, _))))
                                         ^
one warning found
what expected No warning -- the same match has a catch-all clause at the end.
[back to overview]
Changes of this bug report
Burak  edited on  2007-02-05 19:31:46.0