summaryrefslogtreecommitdiff
path: root/src/source_print.sml
diff options
context:
space:
mode:
Diffstat (limited to 'src/source_print.sml')
-rw-r--r--src/source_print.sml6
1 files changed, 3 insertions, 3 deletions
diff --git a/src/source_print.sml b/src/source_print.sml
index 93416fd3..960f3ac5 100644
--- a/src/source_print.sml
+++ b/src/source_print.sml
@@ -173,14 +173,14 @@ fun p_pat' par (p, _) =
p_pat' true p])
| PRecord (xps, flex) =>
let
- val pps = map (fn (x, p) => box [string "x", space, string "=", space, p_pat p]) xps
+ val pps = map (fn (x, p) => box [string x, space, string "=", space, p_pat p]) xps
in
box [string "{",
p_list_sep (box [string ",", space]) (fn x => x)
(if flex then
- pps
+ pps @ [string "..."]
else
- pps @ [string "..."]),
+ pps),
string "}"]
end