diff options
author | Adam Chlipala <adamc@hcoop.net> | 2010-01-03 12:47:27 -0500 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2010-01-03 12:47:27 -0500 |
commit | 9890b6de2e6877c67650f64410127ee2dfe8581e (patch) | |
tree | 784c36f589cbacce89a4ab23334fda77871e7961 /src/jscomp.sml | |
parent | d777d7da78fccb8f15eccff680deca36ae57314b (diff) |
Proper C-side deserialization; Shake.sliceDb
Diffstat (limited to 'src/jscomp.sml')
-rw-r--r-- | src/jscomp.sml | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/src/jscomp.sml b/src/jscomp.sml index 11d75a3a..b99a6858 100644 --- a/src/jscomp.sml +++ b/src/jscomp.sml @@ -869,10 +869,11 @@ fun process file = | EDml _ => unsupported "DML" | ENextval _ => unsupported "Nextval" | ESetval _ => unsupported "Nextval" - | EReturnBlob _ => unsupported "EUnurlify" + | EReturnBlob _ => unsupported "EReturnBlob" | ERedirect _ => unsupported "ERedirect" + | EUnurlify (_, _, true) => unsupported "EUnurlify" - | EUnurlify (e, t) => + | EUnurlify (e, t, false) => let val (e, st) = jsE inner (e, st) val (e', st) = unurlifyExp loc (t, st) @@ -1162,11 +1163,11 @@ fun process file = ((ESetval (e1, e2), loc), st) end - | EUnurlify (e, t) => + | EUnurlify (e, t, b) => let val (e, st) = exp outer (e, st) in - ((EUnurlify (e, t), loc), st) + ((EUnurlify (e, t, b), loc), st) end | EJavaScript (m, e') => |