Aladdin - Scala Bugtracking
[#529] project: compiler priority: low category: bug
submitter assigned to status date submitted
Iulian Burak _ 2006-02-15 13:57:56.0
subject Undefined value generated by trans match
code 
object Foo extends Application {
  10 match { case 1 => 1; };
}
what happened 
Trees after transmatch:

  final class Foo extends java.lang.Object with scala.Application with scala.ScalaObject {
    def (): Foo = {
      Foo.super.();
      ()
    };
    if (false)
      1
    else
      throw new scala.MatchError.(temp0)
  }
what expected 'temp0' should be defined before it's use in the throw clause. Currently, the backend will crash (as it assumes every local variable is defined before it's use).
[back to overview]
Changes of this bug report
Iulian  edited on  2006-02-15 13:58:16.0