Mitchell Dalvi Rosen

I'm all for improving the error messages here, but I had thought @aryairani created https://github.com/unisonweb/unison/issues/4978 partially in response to a new message I drafted that shows the help _and_ an...

The `Usage:` followed by indented help is a nice touch though, maybe that sort of fixes the issue of the error getting buried, as in this old `pull` output I...

I like "always show usage", especially if "usage" is different from the "help" output, which could then be arbitrarily verbose, since the user is explicitly asking for it.

What's "list dependents of `todo`" – typo?

Ah, yes, of course

@aryairani It's currently just showing the unnamed things that are directly – not indirectly – referenced by your code

The specifics today: - Operator segment - Can be used infix - Consists of `!$%^&*-=+~\\/|:` - If identifier is surrounded by backticks, - also consists of `.()` - can be...

Here is a rough plan: - Add delete directives field to `UnisonFile` and `TypecheckedUnisonFile` data structures - `data UnisonFile v a = UnisonFileId { ..., deleteTerms :: Set v, deleteTypes...

The comment on `switchE` is wrong. My guess is it simply wasn't properly fixed up (by me) whenever we added the initial event argument. It's trying to convey that at...

That output looks right to me. Could you explain why `[2,3]` should appear?