comparison lib/js/urweb.js @ 979:3612ff0c6a10

Main demo pieces all seem to work with interpretation
author Adam Chlipala <adamc@hcoop.net>
date Thu, 24 Sep 2009 10:50:23 -0400
parents e1f3f1ea8cff
children 6934343267c0
comparison
equal deleted inserted replaced
978:e1f3f1ea8cff 979:3612ff0c6a10
779 } else 779 } else
780 ch = channels[chn]; 780 ch = channels[chn];
781 781
782 var msg = dequeue(ch.msgs); 782 var msg = dequeue(ch.msgs);
783 if (msg == null) { 783 if (msg == null) {
784 enqueue(ch.listeners, function(msg) { k(parse(msg))(null); }); 784 enqueue(ch.listeners, function(msg) { execF(execF(k, parse(msg)), null); });
785 } else { 785 } else {
786 try { 786 try {
787 execF(execF(k, parse(msg)), null); 787 execF(execF(k, parse(msg)), null);
788 } catch (v) { 788 } catch (v) {
789 doExn(v); 789 doExn(v);