diff src/mono_print.sml @ 572:57018f21cd5c

Handling singnal bind
author Adam Chlipala <adamc@hcoop.net>
date Sun, 21 Dec 2008 12:30:57 -0500
parents 162d5308e34f
children ac947e2f29ff
line wrap: on
line diff
--- a/src/mono_print.sml	Sun Dec 21 12:01:00 2008 -0500
+++ b/src/mono_print.sml	Sun Dec 21 12:30:57 2008 -0500
@@ -285,6 +285,12 @@
       | ESignalReturn e => box [string "Return(",
                                 p_exp env e,
                                 string ")"]
+      | ESignalBind (e1, e2) => box [string "Return(",
+                                     p_exp env e1,
+                                     string ",",
+                                     space,
+                                     p_exp env e2,
+                                     string ")"]
 
 and p_exp env = p_exp' false env