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