Aladdin - Scala Bugtracking
[#426] project: compiler priority: low category: bug
submitter assigned to status date submitted
Philippe Martin fixed 2005-04-29 13:37:42.0
subject Int the interpreter, the analyzer wrongly thinks that some inherited methods are abstract
code
what happened

Start the interpreter and evaluate the following declaration

trait A { def f: Int = 0; }
the evaluate this declaration
class B extends A
The interpreter signals the following error:
<console>:1: class B needs to be abstract, since method f in trait A is not defined
class B extends A
      ^

Here is another example: start the interpreter, evalaute the expression List() and then evaluate\ the following expression:

val x= <greetings>hello world</greetings>
This generates tens of error messages mainly about method that are not defined.

what expected There should be no error. Note that if trait A is replaced by class A there is no error. This bug is probably related to the fact that there is no history for flags. I suspect that the method f is marked abstract by the AddInterfaces.
[back to overview]
Changes of this bug report
Philippe  edited on  2005-04-29 13:38:35.0
Fixed example.
Philippe  edited on  2005-04-29 13:39:20.0
Fixed example.
Martin  edited on  2006-03-30 15:20:08.0