From d668886a45158cf3a292fdef3fa81498efd77652 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 31 Jul 2008 13:08:57 -0400
Subject: Elaborating record patterns

---
 src/source_print.sml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'src/source_print.sml')

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
 
-- 
cgit v1.2.3