Mercurial > urweb

diff src/core_util.sml @ 398:ab3177746c78

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Simple listShop working
author Adam Chlipala <adamc@hcoop.net>
date Tue, 21 Oct 2008 13:24:54 -0400
parents 075b36dbb1a4
children bd9ee9aeca2f
line wrap: on
line diff
--- a/src/core_util.sml	Tue Oct 21 12:06:35 2008 -0400
+++ b/src/core_util.sml	Tue Oct 21 13:24:54 2008 -0400
@@ -785,7 +785,9 @@
 val maxName = foldl (fn ((d, _) : decl, count) =>
                         case d of
                             DCon (_, n, _, _) => Int.max (n, count)
-                          | DDatatype (_, n, _, _) => Int.max (n, count)
+                          | DDatatype (_, n, _, ns) =>
+                            foldl (fn ((_, n', _), m) => Int.max (n', m))
+                                  (Int.max (n, count)) ns
                           | DVal (_, n, _, _, _) => Int.max (n, count)
                           | DValRec vis => foldl (fn ((_, n, _, _, _), count) => Int.max (n, count)) count vis
                           | DExport _ => count