Aladdin - Scala Bugtracking
[#202] project: compiler priority: low category: bug
submitter assigned to status date submitted
Vincent Martin fixed 2003-10-20 13:57:06.0
subject super & type abstraction
code
trait C {
  type T;
  def f(x: T): unit;
}

trait D extends C {
  def f(x: T): unit = super.f(x);
}
what happened
At compile time:
jolib.scala:7: malformed type: C#T
  def f(x: T): unit = super.f(x);
                           ^
what expected A more informative error message.
[back to overview]
Changes of this bug report
Martin  edited on  2006-03-30 19:03:03.0
Fixed in version 2
Martin  edited on  2006-03-30 19:03:23.0