Aladdin - Scala Bugtracking
[#140] project: compiler priority: medium category: bug
submitter assigned to status date submitted
Philippe Martin fixed 2003-09-12 13:28:04.0
subject objects are not enforced to implement their "type of this"
code 
class Foo {
  def foo: Int = 0
}
object bar: Foo {
  bar.foo;
  def main(args: Array[String]): Unit = ();
}
what happened 
at runtime:

Exception in thread "main" java.lang.IncompatibleClassChangeError
	at bar$.(tmp/test.scala:5)
	at bar$.(tmp/test.scala)
	at bar.main(tmp/test.scala)
what expected Compile-time error message: object bar does not implement Foo
[back to overview]
Changes of this bug report
Martin  edited on  2003-09-16 17:22:52.0