summaryrefslogtreecommitdiff
path: root/src/elab_print.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-10-31 09:30:22 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-10-31 09:30:22 -0400
commit389aae9254a3bdee3e79bb75b7355de270f2e8dd (patch)
tree81322ab53b15b0d76854756431ac4c662825ad59 /src/elab_print.sml
parent565f72b0d162990dcfcb91873102915bf8b9b3d7 (diff)
Replace 'with' with '++'
Diffstat (limited to 'src/elab_print.sml')
-rw-r--r--src/elab_print.sml25
1 files changed, 9 insertions, 16 deletions
diff --git a/src/elab_print.sml b/src/elab_print.sml
index c1bc5938..8c0b41f7 100644
--- a/src/elab_print.sml
+++ b/src/elab_print.sml
@@ -317,33 +317,26 @@ fun p_exp' par env (e, _) =
box [p_exp' true env e,
string ".",
p_con' true env c]
- | EWith (e1, c, e2, {field, rest}) =>
+ | EConcat (e1, c1, e2, c2) =>
parenIf par (if !debug then
- box [p_exp env e1,
+ box [p_exp' true env e1,
space,
- string "with",
+ string ":",
space,
- p_con' true env c,
+ p_con env c1,
space,
- string "=",
- p_exp' true env e2,
+ string "++",
space,
- string "[",
- p_con env field,
+ p_exp' true env e2,
space,
- string " in ",
+ string ":",
space,
- p_con env rest,
- string "]"]
+ p_con env c2]
else
- box [p_exp env e1,
+ box [p_exp' true env e1,
space,
string "with",
space,
- p_con' true env c,
- space,
- string "=",
- space,
p_exp' true env e2])
| ECut (e, c, {field, rest}) =>
parenIf par (if !debug then