Improve type checking UX (#239)

* Adjust 'processQueue()' logic

* Optimize main file type checking

* Increase main file type checking debounce

* Fix type checker sometimes using outdated file content

* 0.13.11

* Refactor for clarity

* Cancel checking workspace on file change

package.json

@@ -2,7 +2,7 @@
     "name": "vscode-motoko",
     "displayName": "Motoko",
     "description": "Motoko language support",
-    "version": "0.13.10",
+    "version": "0.13.11",
     "publisher": "dfinity-foundation",
     "repository": "https://github.com/dfinity/vscode-motoko",
     "engines": {

src/server/server.ts

@@ -572,6 +572,7 @@ const checkQueue: string[] = [];
 let checkTimeout: ReturnType<typeof setTimeout>;
 function processQueue() {
     clearTimeout(checkTimeout);
+    clearTimeout(checkWorkspaceTimeout);
     checkTimeout = setTimeout(() => {
         const uri = checkQueue.shift();
         if (checkQueue.length) {
@@ -681,11 +682,6 @@ function checkWorkspace() {
     }, 1000);
 }
 
-function validate(uri: string | TextDocument) {
-    notify(uri);
-    scheduleCheck(uri);
-}
-
 /**
  * Registers or updates the URI or document in the compiler's virtual file system.
  */
@@ -1411,20 +1407,19 @@ async function sendDiagnostics(params: {
 let validatingTimeout: ReturnType<typeof setTimeout>;
 let validatingUri: string | undefined;
 documents.onDidChangeContent((event) => {
-    if (packageConfigError) {
-        // notifyPackageConfigChange(true);
-    }
     const document = event.document;
     const { uri } = document;
     if (uri === validatingUri) {
         clearTimeout(validatingTimeout);
     }
+    notify(document);
     validatingUri = uri;
     validatingTimeout = setTimeout(() => {
-        validate(document);
-        const { astResolver } = getContext(uri);
-        astResolver.update(uri, true); /// TODO: also use for type checking?
-    }, 100);
+        notify(document);
+        scheduleCheck(document);
+        // const { astResolver } = getContext(uri);
+        // astResolver.update(uri, true); // TODO: also use for type checking?
+    }, 500);
 });
 
 documents.onDidOpen((event) => scheduleCheck(event.document.uri));