Matthew Lutze

feat: perform rudimentary formatting on unkinded types

3

related to #4541

Release principle: one transition release

2

Based on discussion in https://github.com/flix/flix/issues/4033 We could have some principle that says that for breaking changes, we have one release where both the new and old versions of feature X...

Currently only the first variable is highlighted in VSCode.

About `Order`

8

We require the `Order` class in order to put something into a standard set. But this feels a little strange to me. It means that we end up putting `Order`...

feat: add shortcut in Boolean unification

2

extracted from #6499

TypeError tests only currently check for the presence of an error, during the inference migration. We need to reintroduce specific tests (expected argument, etc) after migration.