Mercurial > urweb
diff src/expl_print.sml @ 163:80192edca30d
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