disable simplify, compile logical to box

Author: flupe

agda2lambox.cabal

@@ -20,6 +20,7 @@ executable agda2lambox
   other-modules:       Agda.Utils,
                        Agda.Utils.EliminateDefaults,
                        Agda.Utils.EtaExpandConstructors,
+                       Agda.Utils.Simplify,
                        Agda.Utils.Treeless,
                        Agda2Lambox.Compile.Target,
                        Agda2Lambox.Compile.Utils,

demo/index.html

@@ -102,13 +102,21 @@ <h1>agda2lambox</h1>
 async function exec() {
   log("Running main_function()")
 
-  wasm.exports.main_function()
+  try {
+    wasm.exports.main_function()
 
-  mem = new Uint32Array(wasm.exports.memory.buffer)
-  let res = wasm.exports.result.value
-  let dec = decoders[decoder.value]
-  // mem = new Uint32Array(wasm.exports.memory.buffer)
-  log(`Result: ${pretty(dec(res))}`)
+    mem = new Uint32Array(wasm.exports.memory.buffer)
+    let res = wasm.exports.result.value
+    let dec = decoders[decoder.value]
+    // mem = new Uint32Array(wasm.exports.memory.buffer)
+    log(`Result: ${pretty(dec(res))}`)
+  } catch (e) {
+    log(`Failed to run: ${e}`, true)
+    if (wasm.exports.out_of_mem.value) {
+      log(`Wasm instance may have run out of memory...`, true)
+    }
+    throw e
+  }
 }
 
 function log(str, err = false) { // ugly logging