front: truncate large compare outputs

Nadrieril · Sep 17, 2024 · c1f204e · c1f204e
1 parent 4b4401e
commit c1f204e
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/web/src/components/worker.ts b/web/src/components/worker.ts
@@ -2,6 +2,8 @@ import init, { RuleSetJs, compare_rulesets_js } from "../../typing_rust_patterns
 
 await init({});
 
+const truncateAt = 300;
+
 addEventListener("message", async (event) => {
     const data = event.data;
     switch (data.type) {
@@ -12,6 +14,11 @@ addEventListener("message", async (event) => {
                 data.patDepth,
                 data.tyDepth,
             );
+            if (output.length > truncateAt) {
+                const diff = output.length - truncateAt;
+                output.length = truncateAt;
+                output.push({ req: `and ${diff} more...` })
+            }
             postMessage({ type: "compare", output });
             break;
     }