diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-08-09 08:47:36 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-08-09 08:47:36 -0400 |
| commit | bd2d0fe6c8deedc88d985b2c38978b730ff0cd19 (patch) | |
| tree | 2daf2365908cb5776cc09bcfc90146e1984efb6f /src/core_print.sml | |
| parent | b9b67597324deb6e6dfc8ef33c60c110abc2af7b (diff) | |
A multi-parameter datatype all the way through
Diffstat (limited to 'src/core_print.sml')
| -rw-r--r-- | src/core_print.sml | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/src/core_print.sml b/src/core_print.sml index e4eae55e..52c7648d 100644 --- a/src/core_print.sml +++ b/src/core_print.sml @@ -199,13 +199,15 @@ fun p_exp' par env (e, _) = 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(", |