Closed ethanluoyc closed 6 years ago
Is this an API on the server or on the VSCode plugin?
Server.
On Oct 27, 2018, at 10:47 PM, Nik Vangerow notifications@github.com wrote:
Is this an API on the server or on the VSCode plugin?
— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/flintrocks/flint/issues/46#issuecomment-433626886, or mute the thread https://github.com/notifications/unsubscribe-auth/AFwsuK_OXIbIZFZw5t-K-LKeF1ldOa9oks5upHIfgaJpZM4X9dpV.
Ah cool, just good to clarify since the signature looks kind of JavaScript-y
We probably need some API like
compile(path) -> [Diagnostic]
. This can be used by flintc. Moreover, this would be a good way to setup the compiler for the lsp services.