diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-10-25 14:07:10 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-10-25 14:07:10 -0400 |
| commit | 5a88b41a6655f601c989ae94ce1fc8bb391ca630 (patch) | |
| tree | 95685ca6f24d0e3511588ae55bbdd8a121f97994 /src/jscomp.sml | |
| parent | 31da370dd5fae72ddf756aa5ef54241b099fd617 (diff) | |
RPC uses VM support for call/cc
Diffstat (limited to 'src/jscomp.sml')
| -rw-r--r-- | src/jscomp.sml | 12 |
1 files changed, 4 insertions, 8 deletions
diff --git a/src/jscomp.sml b/src/jscomp.sml index b6e4a3b6..9d456c5c 100644 --- a/src/jscomp.sml +++ b/src/jscomp.sml @@ -900,10 +900,9 @@ fun process file = st) end - | EServerCall (e, ek, t, eff) => + | EServerCall (e, t, eff) => let val (e, st) = jsE inner (e, st) - val (ek, st) = jsE inner (ek, st) val (unurl, st) = unurlifyExp loc (t, st) in (strcat [str ("{c:\"f\",f:rc,a:cons({c:\"c\",v:\"" @@ -911,9 +910,7 @@ fun process file = ^ "\"},cons("), e, str (",cons({c:\"c\",v:function(s){var t=s.split(\"/\");var i=0;return " - ^ unurl ^ "}},cons("), - ek, - str (",cons({c:\"c\",v:" + ^ unurl ^ "}},cons({c:\"K\"},cons({c:\"c\",v:" ^ (case eff of ReadCookieWrite => "true" | _ => "false") @@ -1165,12 +1162,11 @@ fun process file = ((ESignalSource e, loc), st) end - | EServerCall (e1, e2, t, ef) => + | EServerCall (e1, t, ef) => let val (e1, st) = exp outer (e1, st) - val (e2, st) = exp outer (e2, st) in - ((EServerCall (e1, e2, t, ef), loc), st) + ((EServerCall (e1, t, ef), loc), st) end | ERecv (e1, e2, t) => let |