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.sml15
1 files changed, 15 insertions, 0 deletions
diff --git a/src/core_print.sml b/src/core_print.sml
index 1214a54f..cd31487e 100644
--- a/src/core_print.sml
+++ b/src/core_print.sml
@@ -362,6 +362,21 @@ fun p_exp' par env (e, _) =
p_exp env e]) es,
string ")"]
+ | ELet (x, t, e1, e2) => box [string "let",
+ space,
+ string x,
+ space,
+ string ":",
+ p_con env t,
+ space,
+ string "=",
+ space,
+ p_exp env e1,
+ space,
+ string "in",
+ newline,
+ p_exp (E.pushERel env x t) e2]
+
and p_exp env = p_exp' false env
fun p_named x n =