Matthew Lutze

Only the first one.

IMO Entity needs a more significant redesign, where we have both a `DefDeclaration` entity and a `DefUse` entity, etc., possibly boiling down to even more specific cases. Currently we have...

I did some minor exploration here: https://github.com/flix/flix/pull/4290 There are a couple of issues (not yet addressed in that PR) 1. Entities whose location is exactly the same as another, meaning...

> What about things that are neither defs nor uses? E.g. predicate symbols. I think these deserve their own category of things. > What do propose to replace `Entity.Exp` by?...

> LSP: Hover should hide Boolean part if it is pure. Just the boolean part, but not empty set?

> LSP: Minimize signatures showed on hover. This is referring to inferred types, right? I don't think we should minimize declared types since changing their shape could confuse the user.

> Add a Redundancy check for `def fooooo(f: Unit -> Unit \ Throw): Unit \ Throw = f() without Console`? What is this check searching for?

> LSP: Highlight of an effect should also highlight all operations associated with that effect (Both Jonathans will love this). Do we also want to highlight signatures and defs associated...

> The empty effect set should be formatted as { } not as "Empty" (In my view). We cannot always do this because `{ }` is the empty record as...

> > > Add a Redundancy check for `def fooooo(f: Unit -> Unit \ Throw): Unit \ Throw = f() without Console`? > > > > > > What is...