diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-06-17 16:38:54 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-06-17 16:38:54 -0400 |
commit | b9406323848c150f5a8562ad206916c446529d65 (patch) | |
tree | 5464b011b61ca366be29dabd74275245b60659b9 /src/source_print.sml | |
parent | 4bb0bbc1920b5474619cb00e278590e029cdb12a (diff) |
Elaborating module projection
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 |