Work around asnyc wasm code

cf ocaml-wasm/wasm_of_ocaml#11
JasonGross · Nov 23, 2023 · 204b881 · 204b881
1 parent 02385e0
commit 204b881
Showing 1 changed file with 14 additions and 8 deletions.
diff --git a/fiat-html/wasm_fiat_crypto_worker.js b/fiat-html/wasm_fiat_crypto_worker.js
@@ -1,9 +1,15 @@
 self.importScripts("wasm_fiat_crypto.js");
-self.onmessage = function(e) {
-    try {
-        const result = synthesize(e.data);
-        postMessage({result: result});
-    } catch (err) {
-        postMessage({error: err});
-    }
-};
+let pending = [];
+self.onmessage = function (e) { pending.push(e); };
+setTimeout(function () {
+    self.onmessage = function(e) {
+        try {
+            const result = synthesize(e.data);
+            postMessage({result: result});
+        } catch (err) {
+            postMessage({error: err});
+        }
+    };
+    pending.forEach(e => { self.onmessage(e); });
+    pending = [];
+}, 1000);