Mercurial > urweb
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