Mercurial > urweb

diff src/tag.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 50dd937c4cb9
children 503d4ec93494
line wrap: on
line diff
--- a/src/tag.sml	Wed Dec 30 09:52:18 2009 -0500
+++ b/src/tag.sml	Thu Dec 31 11:41:57 2009 -0500
@@ -197,7 +197,7 @@
 
         fun doDecl (d as (d', loc), (env, count, tags, byTag)) =
             case d' of
-                DExport (ek, n) =>
+                DExport (ek, n, _) =>
                 let
                     val (_, _, _, s) = E.lookupENamed env n
                 in
@@ -276,7 +276,7 @@
                                                     end
                                         in
                                             (("wrap_" ^ fnam, cn, t, abs, tag),
-                                             (DExport (ek, cn), loc))
+                                             (DExport (ek, cn, false), loc))
                                         end) newTags
 
                     val (newVals, newExports) = ListPair.unzip newDs