Nicholas Wolverson
Nicholas Wolverson
Same issue as here https://github.com/nwolverson/vscode-ide-purescript/issues/223 The node wrapper for purescript plus the node change plus windows = not working.
Yes, this for sure should become the default eventually, I guess new spago is still officially alpha, not sure what the usage % now splits at. That's assuming it isn't...
Yes, it turns out that for some people the server starts *really* slowly, I think that's part of the explanation for how this ended up
Certainly @wclr is right that there is some level where this requires compiler support (and at some point mind reading) but I would not discard this issue here, it has...
Think this is #95 - I never did have a repro, didn't see this myself either
I don't have an objection to filtering those undesired edits out if it's straightforward, so long as it's clear so we can back it out later
> One side effect is that diagnostics are not immediately available until the first edit, but I'm not entirely sure if that's coming from this PR or the custom IDE...
Gathering, obtaining, checking