From 9890b6de2e6877c67650f64410127ee2dfe8581e Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 3 Jan 2010 12:47:27 -0500
Subject: Proper C-side deserialization; Shake.sliceDb

---
 src/mono_util.sml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/mono_util.sml')

diff --git a/src/mono_util.sml b/src/mono_util.sml
index 02619437..a75843c4 100644
--- a/src/mono_util.sml
+++ b/src/mono_util.sml
@@ -346,12 +346,12 @@ fun mapfoldB {typ = fc, exp = fe, bind} =
                         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' =>
-- 
cgit v1.2.3