Aladdin - Scala Bugtracking
[#909] project: compiler priority: low category: bug
submitter assigned to status date submitted
Burak Martin fixed 2007-01-22 12:59:23.0
subject typing rules for patterns too lax
code
case class Foo(x:Int)

object Bar {
        def main(args:Array[String]) {
                Foo(2) match {
                        case Foo("Hello") =>
                }
        }
}
what happened
compiles without error
what expected error message: pattern not well typed
[back to overview]
Changes of this bug report
Martin  edited on  2007-01-23 16:17:11.0