Peter Zeller

Add private ondestroy

2

which means that objects of the class or a subclass can not be destroyed from the outside. Might be necessary for designing some APIs.

Optimization: Remove unneccessary dynamic dispatch

1

``` class A function bar() class B extends A override function bar() function foo(A a) a.bar() B b = new B foo(b) // there should be no dynamic dispatch involved...

Give module uses a name

2

(optional) So that the same module can be used several times in a class.

Easier Setup

4

Problems / possible improvements: - When no folder is opened there should be a warning or it should automatically find the right root folder. - when starting with a wrong...

Port the REPL from Eclipse