Mercurial > urweb

diff src/source_print.sml @ 175:b2d752455182

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Elaborating record patterns
author Adam Chlipala <adamc@hcoop.net>
date Thu, 31 Jul 2008 13:08:57 -0400
parents 7ee424760d2f
children aa54250f58ac
line wrap: on
line diff
--- a/src/source_print.sml	Thu Jul 31 11:28:55 2008 -0400
+++ b/src/source_print.sml	Thu Jul 31 13:08:57 2008 -0400
@@ -173,14 +173,14 @@
                                                   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