diff src/mono_util.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 72670131dace
children c316ca3c9ec6
line wrap: on
line diff
--- a/src/mono_util.sml	Sat Jan 02 14:54:15 2010 -0500
+++ b/src/mono_util.sml	Sun Jan 03 12:47:27 2010 -0500
@@ -346,12 +346,12 @@
                         S.map2 (mfe ctx e2,
                              fn e2' =>
                                 (ESetval (e1', e2'), loc)))
-              | EUnurlify (e, t) =>
+              | EUnurlify (e, t, b) =>
                 S.bind2 (mfe ctx e,
                      fn e' =>
                         S.map2 (mft t,
                                 fn t' =>
-                                   (EUnurlify (e', t'), loc)))
+                                   (EUnurlify (e', t', b), loc)))
               | EJavaScript (m, e) =>
                 S.bind2 (mfmode ctx m,
                          fn m' =>