Matthew Lutze

fixes #4449. There are a few leftovers, which are primarily about specific testing of Boolean effects.

Autumn Meeting: Topics to Discuss

1

- [ ] Package manager - [ ] Debug expression, debug mode - [ ] CLI Principles - [ ] Monad/DelayMonad - [ ] Discuss other region topics (implicit regions,...

experiment: principled CLI

4

Properly separates commands from options This should help with several issues: * #3717 * #3720 * an issue I can't find where options are not passed to LSP

Sometimes inlay hints are absurdly long, especially with curried functions. A quick fix would be to set some character limit, but maybe something smarter can be done.

VSCode: Don't show code hints from things in fpkgs

1

I have a Flix project with a `fpkg` in the lib and a million code hints telling me there are casts to Pure inside.

I'd like to be able to generate documentation for libraries other than the standard library.

Refactor LSP Structures

2

- [ ] `occurrenceOf` / `useOf` / `defOf` is confusing and seems inconsistent. I think this should be simplified to `useOf` and `defOf` if possible. If not possible, documentation explaining...

Dispatch unification by kind

1

Currently we have branched off `BoolUnification` and `SetUnification` from the main `Unification` object. I think it would be nice organizationally to turn `Unification.unifyTypes` into a simple dispatch based on the...