Nicholas Wolverson
Nicholas Wolverson
In what way is coc.nvim responsible for somehow deciding when to evaluate diagnostics but also it is the language server responsibility? I think more information is required here to understand...
The indication there is the build succeeded (which may be false) but the IDE server was not connected, can you attach a full log of startup. Some supicous versions there...
That error message is telling you that actually you have built your project already with 0.13.8, but the lsp is using 0.14.2, you've read it backwards. In that case you...
@wclr feel free to raise an issue in the compiler repo if you think there is a better wording for this message. Here we're simply reporting the compiler-generated error. I...
Per discussion on discord, it seems like this may be not initiating a rebuild correctly in the case where the compiler version has switched with some stale modules in `output/`...
An example which *surely* can't be the one I ran across in the wild, because I am not a monster: ```purescript module Prim.Module2 where z :: Int z = 42...
Now this one I legitimately did hit on rebuild: https://github.com/purescript/purescript/issues/3949
Not `EffFnX`? Don't see any problem with adding this but I'm just curious if it happens to come up this way frequently - I take it you've found yourself using...
That is correct.
`(\a b -> a + 1 == b)` is not an equivalence relation, as it is not reflexive, symmetric, or transitive. Obviously the closure of that relation would be, but...