Andreas Stenbæk Larsen

Ran into this issue and could not find any other mentions of it. Is there any progress on this? It would be nice not having to keep a separate toolchain...

> I've taken a look, and I'm now wondering why we shouldn't go directly to tuples instead of records? I already started this refactoring last weekend. :) I actually thought...

> ok, then let's wait and update the PR once that refactoring is complete. Implementation has been refactored to use Tuples

> Slightly related might also be that printing `\r` does not seem to actually reset the carriage such that you can overwrite the output. Do we know if this stems...

> I forgot that even though Troupe uses floating points, the frontend does not actually accept it. That was also what I noticed when I added the support for literals....

Looks alright to me. I believe the code represents what we want to check, and the tests cover what I would expect. A minor note, I would really like for...

In relation to `Scheme.leq`. It looks to me like this is the relation we want in the generalize rule. I am not convinced this will work for subset, at least...

Fixed the issue with compilation. Test suite fails two tests: [Test.Exp.Jvm.Complex.flix](https://github.com/flix/flix/blob/master/main/test/flix/Test.Exp.Jvm.InvokeMethod.flix) and [Test.Exp.Jvm.InvokeConstructor.flix](https://github.com/flix/flix/blob/master/main/test/flix/Test.Exp.Jvm.InvokeConstructor.flix). I assume you want me to adjust the effects?

My TODO: - [ ] Add `IO` to everything. - [ ] Sort content of json files. - [ ] Take another look at the net package to see if...

How would we categorize `finalize` in the `Object` class? `finalize` is called by the garbage collector during clean-up and should therefore be associated with the `Sys` effect. This method is...