summaryrefslogtreecommitdiff
path: root/lib/js
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2010-05-22 16:29:54 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2010-05-22 16:29:54 -0400
commitb57d77b547ecc51f978e169502e823eded1fca25 (patch)
treec34c7c6d8fb4a1ea2f03fa641ee1db54fddcd8c3 /lib/js
parentf2a000b3a52cc3c998d680d00bc0d3c44dbafde9 (diff)
Switch to strings and eval for thunkifying JavaScripted functions
Diffstat (limited to 'lib/js')
-rw-r--r--lib/js/urweb.js2
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/js/urweb.js b/lib/js/urweb.js
index 4f477f2e..6215a54c 100644
--- a/lib/js/urweb.js
+++ b/lib/js/urweb.js
@@ -1078,7 +1078,7 @@ function exec1(env, stack, e) {
var idx = e.n;
e = urfuncs[idx];
if (e.c == "t")
- e = urfuncs[idx] = e.f();
+ e = urfuncs[idx] = eval("(" + e.f + ")");
break;
case "s":
stack = cons({c: "s"}, stack);