From b57d77b547ecc51f978e169502e823eded1fca25 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 22 May 2010 16:29:54 -0400
Subject: Switch to strings and eval for thunkifying JavaScripted functions

---
 lib/js/urweb.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib/js')

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);
-- 
cgit v1.2.3