Mercurial > urweb

diff src/expl_print.sml @ 796:6271f0e3c272

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix a nasty binding bug in CoreUtil
author Adam Chlipala <adamc@hcoop.net>
date Thu, 14 May 2009 09:11:58 -0400
parents 8688e01ae469
children 0e554bfd6d6a
line wrap: on
line diff
--- a/src/expl_print.sml	Thu May 14 08:15:36 2009 -0400
+++ b/src/expl_print.sml	Thu May 14 09:11:58 2009 -0400
@@ -219,9 +219,19 @@
       | PVar (s, _) => string s
       | PPrim p => Prim.p_t p
       | PCon (_, pc, _, NONE) => p_patCon env pc
-      | PCon (_, pc, _, SOME p) => parenIf par (box [p_patCon env pc,
-                                                     space,
-                                                     p_pat' true env p])
+      | PCon (_, pc, cs, SOME p) =>
+        if !debug then
+            parenIf par (box [p_patCon env pc,
+                              string "[",
+                              p_list (p_con env) cs,
+                              string "]",
+                              space,
+                              p_pat' true env p])
+        else
+            parenIf par (box [p_patCon env pc,
+                              space,
+                              p_pat' true env p])
+
       | PRecord xps =>
         box [string "{",
              p_list_sep (box [string ",", space]) (fn (x, p, _) =>