Mercurial > urweb

diff src/core_print.sml @ 194:df5fd8f6913a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
A multi-parameter datatype all the way through
author Adam Chlipala <adamc@hcoop.net>
date Sat, 09 Aug 2008 08:47:36 -0400
parents 8a70e2919e86
children 766b5475477f
line wrap: on
line diff
--- a/src/core_print.sml	Fri Aug 08 17:55:51 2008 -0400
+++ b/src/core_print.sml	Sat Aug 09 08:47:36 2008 -0400
@@ -199,13 +199,15 @@
               string (#1 (E.lookupERel env n)))
          handle E.UnboundRel _ => string ("UNBOUND_" ^ Int.toString n))
       | ENamed n => p_enamed env n
-      | ECon (_, pc, _, NONE) => box [string "[",
-                                      p_patCon env pc,
-                                      string "]"]
-      | ECon (_, pc, _, SOME e) => box [string "[",
+      | ECon (_, pc, ts, NONE) => box [string "[",
+                                       p_patCon env pc,
+                                       p_list_sep (box []) (fn t => box [space, string "[", p_con env t, string "]"]) ts,
+                                       string "]"]
+      | ECon (_, pc, ts, SOME e) => box [string "[",
                                         p_patCon env pc,
                                         space,
                                         p_exp' true env e,
+                                        p_list_sep (box []) (fn t => box [space, string "[", p_con env t, string "]"]) ts,
                                         string "]"]
       | EFfi (m, x) => box [string "FFI(", string m, string ".", string x, string ")"]
       | EFfiApp (m, x, es) => box [string "FFI(",