search

tricktron / frege-lsp-server

Frege Language Server Using the Language Server Protocol
MIT License
1 stars 0 forks source link

Split Compile from Language Feature #33

Closed tricktron closed 2 years ago

tricktron commented 2 years ago

Fixes #27.

Code changes should drive the compilation. Therefore, compilation is triggered in the didSave, didChange events and update the global. The language features then just get the information from the global. Besides, this makes the language features pure (no more IO dependency from compile).