diff options
Diffstat (limited to 'src/source_print.sml')
-rw-r--r-- | src/source_print.sml | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/source_print.sml b/src/source_print.sml index 5a2412a9..2005d09f 100644 --- a/src/source_print.sml +++ b/src/source_print.sml @@ -88,7 +88,7 @@ fun p_con' par (c, _) = | TRecord c => box [string "$", p_con' true c] - | CVar s => string s + | CVar (ss, s) => p_list_sep (string ".") string (ss @ [s]) | CApp (c1, c2) => parenIf par (box [p_con c1, space, p_con' true c2]) @@ -143,7 +143,7 @@ fun p_exp' par (e, _) = string ")"] | EPrim p => Prim.p_t p - | EVar s => string s + | EVar (ss, s) => p_list_sep (string ".") string (ss @ [s]) | EApp (e1, e2) => parenIf par (box [p_exp e1, space, p_exp' true e2]) @@ -321,6 +321,9 @@ and p_str (str, _) = newline, string "end"] | StrVar x => string x + | StrProj (str, x) => box [p_str str, + string ".", + string x] val p_file = p_list_sep newline p_decl |