Aladdin - Scala Bugtracking
[#250] project: compiler priority: medium category: bug
submitter assigned to status date submitted
Stephane Michel fixed 2003-12-05 18:55:19.0
subject VerifyError at runtime
code
object Test {
  def main(args: Array[String]): Unit = {
    if (true) null;
    ()
  }
}
what happened
Exception in thread "main" java.lang.VerifyError: (class: Test$, method: main signature: ([Ljava/lang/String;)V)\
 Inconsistent stack height 1 != 0
	at Test.main(tmp/test.scala)
what expected no runtime error !
[back to overview]
Changes of this bug report
Stephane  edited on  2003-12-05 18:55:36.0
Philippe  edited on  2003-12-05 19:01:58.0

Simplified example

Michel  edited on  2003-12-08 09:34:57.0