From 79db9a612f96be267d5fe38cf27afeb0d29ad2ec Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 22 Sep 2009 13:41:23 -0400 Subject: More interpreter debugging --- lib/js/urweb.js | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'lib') 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); } } } -- cgit v1.2.3