uqbar-project / wollok

Wollok Programming Language
GNU General Public License v3.0
60 stars 16 forks source link

Wollok allows to override a concrete method with an abstract method #722

Closed flbulgarelli closed 8 years ago

flbulgarelli commented 8 years ago

Wollok is accepting the following program, but it shoudn't:

class Foo {
    method foo() { console.println('foo') }
}

class Baz inherits Foo {
    override method foo()
}

Also, in runtime, if you do new Baz().foo(), it evaluates the superclass version.

javierfernandes commented 8 years ago

Done ! Check PR and close please

flbulgarelli commented 8 years ago

Done :smile: