Aladdin - Scala Bugtracking
[#90] project: compiler priority: medium category: bug
submitter assigned to status date submitted
Burak Martin fixed 2003-08-27 16:04:00.0
subject mixin convention
code
class Test {
  trait A {
    def foo:Unit ;
  }
  class B with A {
    def foo:Unit = { // default impl of foo
    };
  }
  class C extends B with A {
    override def foo:Unit = { // overridden impl of foo
    }
  }
}
what happened
Test.scala:12: class Test.C needs to be abstract, since method foo in class Test.C is marked `override' and over\
rides an abstract member in trait Test.A
  class C extends B with A {
        ^
one error found
what expected a silent run.
[back to overview]
Changes of this bug report
Burak  edited on  2003-08-27 18:14:49.0
(Martin fixed it at the same time I submitted the bug report)