Mercurial > urweb
diff src/mono_util.sml @ 1104:72670131dace
Basis.serialize; separate file for mhash; run transactional finishers in reverse order; set needs_sig properly
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 31 Dec 2009 11:41:57 -0500 |
parents | 0657e5adc938 |
children | 7a31e0cf25e9 |
line wrap: on
line diff
--- a/src/mono_util.sml Wed Dec 30 09:52:18 2009 -0500 +++ b/src/mono_util.sml Thu Dec 31 11:41:57 2009 -0500 @@ -507,12 +507,12 @@ fn vis' => (DValRec vis', loc)) end - | DExport (ek, s, n, ts, t) => + | DExport (ek, s, n, ts, t, b) => S.bind2 (ListUtil.mapfold mft ts, fn ts' => S.map2 (mft t, fn t' => - (DExport (ek, s, n, ts', t'), loc))) + (DExport (ek, s, n, ts', t', b), loc))) | DTable (s, xts, pe, ce) => S.bind2 (mfe ctx pe, fn pe' =>