Incremental type checking in LSP

[Chriscbr]

Follow-up from #3677

When you have a Wing project with several files opened in your VS Code editor, for example:

// main.w
bring "./store.w" as store;

new store.Store();

// store.w
bring "./util.w" as util;

class Store {
  inflight print() {
    util.info("my message");
  }
}

// util.w
class Util {
  inflight info(message: str) {
    log("INFO: " + message);
  }
}

If you edit any one of these files, all of them will get type checked again. But it should be possible to optimize this:

• If you edit main.w, only main.w needs to be type checked again (the previous results of type checking store.w and util.w can be reused)
• If you edit store.w, only main.w and store.w need to be type checked again
• If you edit util.w, all of the files need to be type checked again

[Chriscbr]

I might have already addressed this in #3677 (avoiding the need for a follow up PR) so we might end up not needing this issue...

[Chriscbr]

update: I've repurposed the issue to another related LSP improvement. 😅

[github-actions[bot]]

Hi,

This issue hasn't seen activity in 60 days. Therefore, we are marking this issue as stale for now. It will be closed after 7 days. Feel free to re-open this issue when there's an update or relevant information to be added. Thanks!

[github-actions[bot]]

Hi,

This issue hasn't seen activity in 90 days. Therefore, we are marking this issue as stale for now. It will be closed after 7 days. Feel free to re-open this issue when there's an update or relevant information to be added. Thanks!

[github-actions[bot]]

Hi,

This issue hasn't seen activity in 90 days. Therefore, we are marking this issue as stale for now. It will be closed after 7 days. Feel free to re-open this issue when there's an update or relevant information to be added. Thanks!