# HG changeset patch
# User Adam Chlipala <adamc@hcoop.net>
# Date 1253803823 14400
# Node ID 3612ff0c6a10eeeeb6fe3c33a744f909f03e04b8
# Parent  e1f3f1ea8cffa401823ae36b0328563f1dc18bd3
Main demo pieces all seem to work with interpretation

diff -r e1f3f1ea8cff -r 3612ff0c6a10 lib/js/urweb.js
--- a/lib/js/urweb.js	Thu Sep 24 10:42:59 2009 -0400
+++ b/lib/js/urweb.js	Thu Sep 24 10:50:23 2009 -0400
@@ -781,7 +781,7 @@
 
   var msg = dequeue(ch.msgs);
   if (msg == null) {
-    enqueue(ch.listeners, function(msg) { k(parse(msg))(null); });
+    enqueue(ch.listeners, function(msg) { execF(execF(k, parse(msg)), null); });
   } else {
     try {
       execF(execF(k, parse(msg)), null);