diff src/tag.sml @ 179:3bbed533fbd2

Cases through monoize
author Adam Chlipala <adamc@hcoop.net>
date Sun, 03 Aug 2008 10:48:36 -0400
parents 80192edca30d
children fdd7a698be01
line wrap: on
line diff
--- a/src/tag.sml	Sun Aug 03 09:26:49 2008 -0400
+++ b/src/tag.sml	Sun Aug 03 10:48:36 2008 -0400
@@ -150,13 +150,7 @@
 
 fun tag file =
     let
-        val count = foldl (fn ((d, _), count) =>
-                              case d of
-                                  DCon (_, n, _, _) => Int.max (n, count)
-                                | DDatatype (_, n, _) => Int.max (n, count)
-                                | DVal (_, n, _, _, _) => Int.max (n, count)
-                                | DValRec vis => foldl (fn ((_, n, _, _, _), count) => Int.max (n, count)) count vis
-                                | DExport _ => count) 0 file
+        val count = U.File.maxName file
 
         fun doDecl (d as (d', loc), (env, count, tags, byTag)) =
             case d' of