diff lib/js/urweb.js @ 1484:ae7547789c73

Fix flift.
author Karn Kallio <kkallio@eka>
date Sat, 02 Jul 2011 20:49:58 -0430
parents f561025bb68e
children 290de2dcecf6
line wrap: on
line diff
--- a/lib/js/urweb.js	Sun Jul 03 12:40:00 2011 -0400
+++ b/lib/js/urweb.js	Sat Jul 02 20:49:58 2011 -0430
@@ -142,7 +142,7 @@
 var disconnectHandlers = null;
 
 function flift(f) {
-    return {env:cons(f,null), body:{c:"v", n:1}};
+    return {c: "c", v:{env:cons(f,null), body:{c:"v", n:1}}};
 }
 
 function onDisconnect(f) {