Mercurial > urweb

diff src/expl_print.sml @ 163:80192edca30d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Datatypes through corify
author Adam Chlipala <adamc@hcoop.net>
date Tue, 29 Jul 2008 13:16:21 -0400
parents 06a98129b23f
children 33d4a8eea484
line wrap: on
line diff
--- a/src/expl_print.sml	Tue Jul 29 12:30:04 2008 -0400
+++ b/src/expl_print.sml	Tue Jul 29 13:16:21 2008 -0400
@@ -285,8 +285,10 @@
              string "=",
              space,
              p_list_sep (box [space, string "|", space])
-                        (fn (x, _, NONE) => string x
-                          | (x, _, SOME t) => box [string x, space, string "of", space, p_con env t])
+                        (fn (x, n, NONE) => if !debug then (string (x ^ "__" ^ Int.toString n))
+                                            else string x
+                          | (x, _, SOME t) => box [if !debug then (string (x ^ "__" ^ Int.toString n))
+                                                   else string x, space, string "of", space, p_con env t])
                         cons]
     end