diff src/elab_print.sml @ 149:7420fa18d657

Record cut
author Adam Chlipala <adamc@hcoop.net>
date Thu, 24 Jul 2008 10:09:21 -0400
parents eb16f2aadbe9
children 34ccd7d2bea8
line wrap: on
line diff
--- a/src/elab_print.sml	Tue Jul 22 19:12:25 2008 -0400
+++ b/src/elab_print.sml	Thu Jul 24 10:09:21 2008 -0400
@@ -274,6 +274,27 @@
             box [p_exp' true env e,
                  string ".",
                  p_con' true env c]
+      | ECut (e, c, {field, rest}) =>
+        parenIf par (if !debug then
+                         box [p_exp' true env e,
+                              space,
+                              string "--",
+                              space,
+                              p_con' true env c,
+                              space,
+                              string "[",
+                              p_con env field,
+                              space,
+                              string " in ",
+                              space,
+                              p_con env rest,
+                              string "]"]
+                     else
+                         box [p_exp' true env e,
+                              space,
+                              string "--",
+                              space,
+                              p_con' true env c])
       | EFold _ => string "fold"
 
       | EError => string "<ERROR>"