More interpreter debugging

1 files changed, 3 insertions, 3 deletions

diff --git a/lib/js/urweb.js b/lib/js/urweb.js
index c11702a6..0cafd8f8 100644
--- a/lib/js/urweb.js
+++ b/lib/js/urweb.js
@@ -883,7 +883,7 @@ function exec0(env, e) {
         stack = cons({c: "a3", env: env}, stack.next);
         break;
       default:
-        throw "Unknown Ur continuation kind";
+        throw ("Unknown Ur continuation kind " + fr.c);
       }
 
       break;
@@ -922,7 +922,7 @@ function exec0(env, e) {
         throw "Empty Ur record in interpretation";
       var fs = {};
       stack = cons({c: "r", n: e.l.data.n, fs: fs, l: e.l.next}, stack);
-      e = e.l.data;
+      e = e.l.data.v;
       break;
     case ".":
       stack = cons({c: ".", f: e.f}, stack);
@@ -942,7 +942,7 @@ function exec0(env, e) {
       e = {c: "c", v: cs(function() { return exec0(env0, e0); })};
       break;
     default:
-      throw "Unknown Ur expression kind";
+      throw ("Unknown Ur expression kind " + e.c);
     }
   }
 }