summaryrefslogtreecommitdiff
path: root/src/core_print.sml
diff options
context:
space:
mode:
Diffstat (limited to 'src/core_print.sml')
-rw-r--r--src/core_print.sml21
1 files changed, 21 insertions, 0 deletions
diff --git a/src/core_print.sml b/src/core_print.sml
index 590b90fd..364f9c06 100644
--- a/src/core_print.sml
+++ b/src/core_print.sml
@@ -226,6 +226,27 @@ fun p_exp' par env (e, _) =
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"
| EWrite e => box [string "write(",