comparison 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
comparison
equal deleted inserted replaced
1483:ebc30bb262d0 1484:ae7547789c73
140 } 140 }
141 141
142 var disconnectHandlers = null; 142 var disconnectHandlers = null;
143 143
144 function flift(f) { 144 function flift(f) {
145 return {env:cons(f,null), body:{c:"v", n:1}}; 145 return {c: "c", v:{env:cons(f,null), body:{c:"v", n:1}}};
146 } 146 }
147 147
148 function onDisconnect(f) { 148 function onDisconnect(f) {
149 disconnectHandlers = cons(flift(f), disconnectHandlers); 149 disconnectHandlers = cons(flift(f), disconnectHandlers);
150 } 150 }