Package and automatize the packaging of the Catala VSCode plugin

CatalaLang / catala

Programming language for literate programming law specification

https://catala-lang.org

Apache License 2.0

1.97k stars 78 forks source link

Package and automatize the packaging of the Catala VSCode plugin #698

Open denismerigoux opened 1 week ago

denismerigoux commented 1 week ago

The Catala VSCode plugin should be published there : https://marketplace.visualstudio.com/items?itemName=catalalang.catala. @AltGr has the login details for it.

Bonus point if the publishing pipeline is automated by GitHub CI. The package should include :

syntax highlighting
code autoformatting
LSP
GUI test editor (behind a feature flag)

denismerigoux commented 1 week ago

Also: catala-lsp-server should be packaged and published as an opam package, the VSCode extension should rely on it (similarly to ocaml-lsp-server), with nice error messages in VSCode if the opam package is not found.