Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Version the .curry/language-server folder #66

Open
fwcd opened this issue Feb 9, 2024 · 0 comments
Open

Version the .curry/language-server folder #66

fwcd opened this issue Feb 9, 2024 · 0 comments

Comments

@fwcd
Copy link
Owner

fwcd commented Feb 9, 2024

We'd want to make sure that different versions of the language server can coexist, even if we make breaking changes to the ICurry format (e.g. as proposed in #26 (comment)).

Therefore we should include the language server version in the output directory path (e.g. .curry/language-server-x.y.z) and make sure this version number is bumped (at least) every time there is a breaking change in one of the serialized formats.

@fwcd fwcd pinned this issue Feb 9, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant