diff src/mono_print.sml @ 568:55fc747a67dc

Initial <dyn> support
author Adam Chlipala <adamc@hcoop.net>
date Sat, 20 Dec 2008 15:46:48 -0500
parents a152905c3c3b
children 162d5308e34f
line wrap: on
line diff
--- a/src/mono_print.sml	Sat Dec 20 14:19:21 2008 -0500
+++ b/src/mono_print.sml	Sat Dec 20 15:46:48 2008 -0500
@@ -65,6 +65,9 @@
       | TOption t => box [string "option(",
                           p_typ env t,
                           string ")"]
+      | TSignal t => box [string "signal(",
+                          p_typ env t,
+                          string ")"]
 
 and p_typ env = p_typ' false env
 
@@ -275,9 +278,13 @@
       | EUnurlify (e, _) => box [string "unurlify(",
                                  p_exp env e,
                                  string ")"]
-      | EJavaScript e => box [string "JavaScript(",
-                              p_exp env e,
-                              string ")"]
+      | EJavaScript (_, e) => box [string "JavaScript(",
+                                   p_exp env e,
+                                   string ")"]
+
+      | ESignalReturn e => box [string "Return(",
+                                p_exp env e,
+                                string ")"]
 
 and p_exp env = p_exp' false env