summaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
Diffstat (limited to 'lib')
-rw-r--r--lib/js/urweb.js6
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);
}
}
}