diff src/jscomp.sml @ 1112:7a31e0cf25e9

Proper C-side deserialization; Shake.sliceDb
author Adam Chlipala <adamc@hcoop.net>
date Sun, 03 Jan 2010 12:47:27 -0500
parents e1d738870086
children 51e596feec37
line wrap: on
line diff
--- a/src/jscomp.sml	Sat Jan 02 14:54:15 2010 -0500
+++ b/src/jscomp.sml	Sun Jan 03 12:47:27 2010 -0500
@@ -869,10 +869,11 @@
                           | 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 @@
                      ((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') =>