diff options
Diffstat (limited to 'src/elab_print.sml')
-rw-r--r-- | src/elab_print.sml | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/src/elab_print.sml b/src/elab_print.sml index 6c42351c..b67ff7eb 100644 --- a/src/elab_print.sml +++ b/src/elab_print.sml @@ -49,6 +49,9 @@ fun p_kind' par (k, _) = | KName => string "Name" | KRecord k => box [string "{", p_kind k, string "}"] | KUnit => string "Unit" + | KTuple ks => box [string "(", + p_list_sep (box [space, string "*", space]) p_kind ks, + string ")"] | KError => string "<ERROR>" | KUnif (_, _, ref (SOME k)) => p_kind' par k @@ -177,6 +180,13 @@ fun p_con' par env (c, _) = | CUnit => string "()" + | CTuple cs => box [string "(", + p_list (p_con env) cs, + string ")"] + | CProj (c, n) => box [p_con env c, + string ".", + string (Int.toString n)] + | CError => string "<ERROR>" | CUnif (_, _, _, ref (SOME c)) => p_con' par env c | CUnif (_, k, s, _) => box [string ("<UNIF:" ^ s ^ "::"), |