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

Incremental builds #38

Open
tirix opened this issue Oct 15, 2021 · 0 comments
Open

Incremental builds #38

tirix opened this issue Oct 15, 2021 · 0 comments

Comments

@tirix
Copy link
Collaborator

tirix commented Oct 15, 2021

This means reloading a database, and providing an updated version for all passes.

Ideally we would like to provide functions which a server could use to support to LSP protocol, even though such a server would be outside of the scope of this library.

Interestingly, LSP provides document synchronization with a notification each time a document changes. This could allow incremental passes over the database, where e.g only the segment which have changed would be rebuilt.

However this also requires to be well thought within the library (e.g. Atom numbering would change with an incremental build).
SMM provided some functionality and/or provision for this.

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