Nicholas Wolverson
Nicholas Wolverson
When I build the package is much smaller (it's 800KB). It looks like many jpg/png assets have been added ( 46c66f7db662c7c76eb10a957367b199b4b55d20 ) but those don't seem to be included when...
As per discussion on discord I'd suggest avoiding proxying the `purs ide` requests directly simply for the reason that it likely allows read/write access to the entire filesystem as the...
I know nothing about ace, but if (server side) you want to do completion, the language server is all driven by `purs ide server` (via [purescript-psc-ide](https://github.com/kritzcreek/purescript-psc-ide)), including imports (see https://github.com/nwolverson/purescript-language-server/blob/78086f60f2741d5fe52bbad8572c107863091eb8/src/LanguageServer/IdePurescript/Completion.purs#L119...
@ptrfrncsmrph it's a little round-about, ultimately you might want to just make the socket connection directly, but it should do to get started. You might want to look at the...
I looked into this before, as the span leads to a bad suggestion from the language server (interpreting the bad name as starting `instance` etc) but stopped short when it...
This could now instead/also refer to spago, I think the only node dependency is a runtime on for node-dependant commands (like run and test)
A similar pattern tends to be useful for leveraging docker layer caching
I think the Type ADT now has position info, though there are outstanding issues about improving (during desugaring)
What's the status on this now? Looks like this was in a good place, but I don't think @hdgarrood 's point on the URL format was taken into account -...
I think these are probably 2 separate things, a generic `purs-args` is probably useful, but `output` is special - it should be passed to backends also. In fact backend-args goes...