Aladdin - Scala Bugtracking
[#200] project: compiler priority: low category: bug
submitter assigned to status date submitted
Philippe Martin fixed 2003-10-17 18:06:11.0
subject overriding overloaded definitions generate strange error messages
code 
trait X {
  def foo: Int;
}

trait Y extends X {
  def foo: String;
  def foo: Int;
}
what happened 
tmp/test.scala:5: ambiguous override: both method foo:java.lang.String
 and method foo:scala.Int
 override method foo:scala.Int in trait X
trait Y extends X {
                ^
tmp/test.scala:6: method foo in trait Y of type java.lang.String
 cannot override method foo in trait X of type scala.Int
  def foo: String;
      ^
two errors found
what expected

no error

[back to overview]
Changes of this bug report
Martin  edited on  2006-03-30 19:04:42.0
You now get: files/pos/bug200.scala:7 error: method foo is defined twice def foo: Int; ^ one error found