Nicholas Wolverson

I think there are 2 separate cases and this should probably be something more explicit - psc-ide updating externs (and internal state) after rebuilding 1 file feeds into type information...

>Why not save a module's new externs if we've already computed them? I think this way lies truly incomprehensible behaviour, in the presence of any automatic "as you type" rebuild....

@rintcius example is related indeed, as `(y :: Int) = z` is considered to be binding a pattern. I assumed this was intended behaviour, as the variables bound in a...

Present in the compiler (master as of right now) but not the above list (or as skeletons): - [ ] DuplicateInstance - [ ] DuplicateTypeClass - [ ] ExpectedTypeConstructor -...

I find myself wanting to refer to such a thing to look at syntax highlighting details. @kingsleyh did you ever start building such a grammar?

I have an interest in this - of course supporting `purs ide` functionality that can enhance language server support, but also in that `purerl` currently has a dependency on externs...

There is a code lens that serves this purpose

Yeah I imagine these should be absent rather than null, not sure if this is the lsp server itself or the library used. We should probably be using undefined instead...

Agree on the removal of superfluous names. Not convinced on the addition of additional config just to change the wording of something, feels like excessive config at this point rather...

I initially feel like I prefer the second, because it is not clear to me what the random "exported" words lying around mean, or what clicking on them does -...