Chanattan

feat: add support for arrays with subtyping

2

@mlutze

feat: add Flix non-primitives and Java objects subtyping with `Null` type

5

Takes back work from #7919.

refactor: add `InvokeConstructor` deprecated

2

Fixes #7989.

Import parsing error

1

The following code throws an error: ```scala import javax.swing.SwingUtilities; //import javax.swing.SwingUtilities; import java.lang.Runnable; def main(): Unit \ IO = println("hello") ``` ``` -- Parse Error (OtherDecl) -------------------------------------------------- /home/csok/IdeaProjects/flix/test.flix >> Expected...

refactor: partial support for `InvokeMethod2` in `String.flix`

1

Fixes #7881 with current expressiveness of `InvokeMethod2`.

refactor: support for `InvokeMethod2` in `Files.flix`

2

Should fix #7869.

This issue is related to support for `InvokeMethod2` on type `BigInteger` from Java, from PRs #7769 and #7833. The program, with `BigInteger` java interoperability set, is the following: ``` def...

Related to #8196. WIP.

feat: add support for varargs

12

WIP. Related to #8158.

feat: support for empty interfaces in subtyping

3

Related to #8212. @magnus-madsen I was forced implictly to check for explicit interfaces with no super-interfaces. As otherwise it would create duplicate methods, e.g., toString, in candidate methods with interfaces...