From 5f6185fa2de1d01d43f9155faada0950b966ca06 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 24 Sep 2009 10:42:59 -0400
Subject: demo/increment works with interpretation

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

(limited to 'lib/js/urweb.js')

diff --git a/lib/js/urweb.js b/lib/js/urweb.js
index 8170249b..5f9a0a13 100644
--- a/lib/js/urweb.js
+++ b/lib/js/urweb.js
@@ -618,7 +618,8 @@ function requestUri(xhr, uri, needsSig) {
   xhr.send(null);
 }
 
-function rc(uri, parse, k, needsSig) {
+function rc(prefix, uri, parse, k, needsSig) {
+  uri = cat(prefix, uri);
   uri = flattenLocal(uri);
   var xhr = getXHR();
 
@@ -790,6 +791,10 @@ function rv(chn, parse, k) {
   }
 }
 
+function sl(ms, k) {
+  window.setTimeout(function() { execF(k, null); }, ms);
+}
+
 
 // Key events
 
@@ -854,9 +859,6 @@ function exec0(env, e) {
   var stack = null;
 
   while (true) {
-    if (!e.c)
-      throw ("Trace: " + trace);
-    trace += "|" + e.c;
     switch (e.c) {
     case "c":
       var v = e.v;
@@ -879,6 +881,7 @@ function exec0(env, e) {
           e = {c: "c", v: fr.f.apply(null, fr.args)};
           stack = stack.next;
         } else {
+          trace += "" + fr.pos;
           e = fr.a.data;
           fr.a = fr.a.next;
         }
@@ -891,7 +894,7 @@ function exec0(env, e) {
         if (fr.f == null)
           throw "Ur: applying null function";
         else if (fr.f.body) {
-          stack = cons({c: "a3", env: env}, stack.next);
+          stack = cons({c: "<", env: env}, stack.next);
           env = cons(v, fr.f.env);
           e = fr.f.body;
         } else {
@@ -899,7 +902,7 @@ function exec0(env, e) {
           stack = stack.next;
         }
         break;
-      case "a3":
+      case "<":
         env = fr.env;
         stack = stack.next;
         break;
@@ -923,7 +926,7 @@ function exec0(env, e) {
         stack = stack.next;
         break;
       case "=":
-        stack = cons({c: "a3", env: env}, stack.next);
+        stack = cons({c: "<", env: env}, stack.next);
         env = cons(v, env);
         e = fr.e2;
         break;
@@ -932,7 +935,7 @@ function exec0(env, e) {
         for (ps = fr.p; ps != null; ps = ps.next) {
           var r = execP(env, ps.data.p, v);
           if (r != false) {
-            stack = cons({c: "a3", env: env}, stack.next);
+            stack = cons({c: "<", env: env}, stack.next);
             env = r;
             e = ps.data.b;
             break;
-- 
cgit v1.2.3