Aladdin - Scala Bugtracking
[#933] project: compiler priority: low category: bug
submitter assigned to status date submitted
Martin Burak fixed 2007-02-03 12:45:13.0
subject spurious pattern warnings
code
scalac List.scala
what happened
List.scala:802: warning: does not cover case {object Nil}
        case hd1::hd2::hd3::tail => {
                     ^
List.scala:802: warning: does not cover case {object Nil}
        case hd1::hd2::hd3::tail => {
                          ^
List.scala:823: warning: does not cover case {object Nil}
      case hd1::hd2::hd3::tail => {
                   ^
List.scala:823: warning: does not cover case {object Nil}
      case hd1::hd2::hd3::tail => {
                        ^
four warnings found
what expected no warnings
[back to overview]
Changes of this bug report
Martin  edited on  2007-02-03 19:35:26.0
This is a duplicate of 931. I accentally sent twice. I think this needs to be fixed, though, and not be changing the List class. List patterns are way too common for this.
Burak  edited on  2007-03-03 01:01:15.0
931 is fixed, so I think this is too