Adrian Kunz

Re-add proper support for the `var` keyword. The keyword should be useable within statement lists to allow special variables such as auto-unboxed tuples. Example: ``` scala var s = "abc"...

Add the `mutating` keyword to the language, with the same behaviour as the `@Mutating` annotation.

```swift extension Comparable { infix func (lhs: T, rhs: T) -> int = lhs.compareTo(rhs) } "abc" "abcde" ``` ``` 4 | "abc" "abcde" . | ^^^ . | error: the...

Extension methods should be overhauled to behave more like actual instance methods. Currently, their semantics are just "`infix` methods + dynamic runtime resolution". Both infix and extension methods should be...

Allow the use of `_` as the name of a variables. This is effective in the following contexts: - Local Variable: ```swift { let _ = someCalculation() // useful when...

Add support for tab completion for all kinds of identifiers in the REPL. - [ ] fields - [ ] methods - [ ] properties - [ ] classes -...

The following example causes a verification error: ```swift interface L { func foo() -> String = "L.foo" } interface J { func bar() -> String = "J.bar" } extension L...

Refactor the `ClassParameter` class to separate the parameter behaviour from the field behaviour.

Define a `dyvil.collection.MutableMap` implementation that - Provides `java.util.WeakMap` behaviour (keys only use weak references) - Use identity hashes / equality The main use case for this kind of Map implementation...

Field access expressions (i.e. of the form `expr.identifier`, not followed by `