Mercurial > urweb

diff src/corify.sml @ 1104:72670131dace

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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 e1d738870086
line wrap: on
line diff
--- a/src/corify.sml	Wed Dec 30 09:52:18 2009 -0500
+++ b/src/corify.sml	Thu Dec 31 11:41:57 2009 -0500
@@ -1001,7 +1001,7 @@
                                                         e), loc) :: wds,
                                                (fn st =>
                                                    case #1 (corifyExp st (L.EModProj (en, [], "wrap_" ^ s), loc)) of
-                                                       L'.ENamed n => (L'.DExport (L'.Link, n), loc)
+                                                       L'.ENamed n => (L'.DExport (L'.Link, n, false), loc)
                                                      | _ => raise Fail "Corify: Value to export didn't corify properly")
                                                :: eds)
                                           else