From 4259d248050c93180767c076469431f11b8fe984 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Thu, 14 Nov 2013 06:36:36 -0500
Subject: Fix more of client-side error handlers

---
 lib/js/urweb.js | 12 ++++++++----
 1 file changed, 8 insertions(+), 4 deletions(-)

(limited to 'lib/js')

diff --git a/lib/js/urweb.js b/lib/js/urweb.js
index 6315567e..59708150 100644
--- a/lib/js/urweb.js
+++ b/lib/js/urweb.js
@@ -376,15 +376,19 @@ function runHandlers(kind, ls, arg) {
             alert(kind + ": " + arg);
         for (; ls; ls = ls.next)
             try {
-                exec({c:"a", f:{c:"a", f:{c:"c", v:ls.data}, x:{c:"c", v:arg}}, x:{c:"c", v:null}});
+                exec({c:"a", f:{c:"a", f:ls.data, x:{c:"c", v:arg}}, x:{c:"c", v:null}});
             } catch (v) { }
     }
 }
 
 var errorHandlers = null;
 
+function flift0(v) {
+    return {c:"c", v:v};
+}
+
 function onError(f) {
-    errorHandlers = cons(f, errorHandlers);
+    errorHandlers = cons(flift0(f), errorHandlers);
 }
 
 function er(s) {
@@ -395,7 +399,7 @@ function er(s) {
 var failHandlers = null;
 
 function onFail(f) {
-    failHandlers = cons(f, failHandlers);
+    failHandlers = cons(flift0(f), failHandlers);
 }
 
 function doExn(v) {
@@ -434,7 +438,7 @@ function conn() {
 var serverHandlers = null;
 
 function onServerError(f) {
-    serverHandlers = cons(f, serverHandlers);
+    serverHandlers = cons(flift0(f), serverHandlers);
 }
 
 function servErr(s) {
-- 
cgit v1.2.3