Aladdin - Scala Bugtracking
[#44] project: compiler priority: medium category: bug
submitter assigned to status date submitted
Matthias Martin fixed 2003-06-19 22:15:00.0
subject Cyclic references for refinements
code 
abstract class C {
  var x: Object { def t: Int; } = new Object() {
    def t: Int = 1;
  }
}
what happened 
I believe the program is okay, but the typechecker complains with the following error message:

Bug12.scala:2: illegal cyclic reference involving value t
        var x: Object { def t: Int; } = new Object() {
what expected No compiler error.

Matthias: According to Martin, it is definitely not a correct Scala program. But the error message is misleading and therefore I leave the entry in the system.
[back to overview]
Changes of this bug report
Martin  edited on  2003-07-04 12:42:12.0