Mercurial > urweb
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' =>