diff src/core_print.sml @ 445:dfc8c991abd0

Replace 'with' with '++'
author Adam Chlipala <adamc@hcoop.net>
date Fri, 31 Oct 2008 09:30:22 -0400
parents 075b36dbb1a4
children 07f6576aeb0a
line wrap: on
line diff
--- a/src/core_print.sml	Thu Oct 30 17:07:34 2008 -0400
+++ b/src/core_print.sml	Fri Oct 31 09:30:22 2008 -0400
@@ -283,31 +283,26 @@
             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 ":",
+                              space,
+                              p_con env c1,
+                              space,
+                              string "++",
+                              space,
+                              p_exp' true env e2,
+                              space,
+                              string ":",
+                              space,
+                              p_con env c2]
+                     else
+                         box [p_exp' true env e1,
                               space,
                               string "with",
                               space,
-                              p_con' true env c,
-                              space,
-                              string "=",
-                              p_exp' true env e2,
-                              space,
-                              string "[",
-                              p_con env field,
-                              space,
-                              string " in ",
-                              space,
-                              p_con env rest,
-                              string "]"]
-                     else
-                         box [p_exp env e1,
-                              space,
-                              string "with",
-                              space,
-                              p_con' true env c,
-                              space,
                               p_exp' true env e2])
       | ECut (e, c, {field, rest}) =>
         parenIf par (if !debug then