From e6655be0a7d1dd5864afce14bd3c68873025a84f Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 20 Dec 2008 15:46:48 -0500
Subject: Initial <dyn> support

---
 src/mono.sml | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

(limited to 'src/mono.sml')

diff --git a/src/mono.sml b/src/mono.sml
index 187b1853..c6e0ae8a 100644
--- a/src/mono.sml
+++ b/src/mono.sml
@@ -37,6 +37,7 @@ datatype typ' =
        | TDatatype of int * (datatype_kind * (string * int * typ option) list) ref
        | TFfi of string * string
        | TOption of typ
+       | TSignal of typ
 
 withtype typ = typ' located
 
@@ -55,6 +56,11 @@ datatype pat' =
 
 withtype pat = pat' located
 
+datatype javascript_mode =
+         Attribute
+       | Script
+       | File
+
 datatype exp' =
          EPrim of Prim.t
        | ERel of int
@@ -96,8 +102,9 @@ datatype exp' =
 
        | EUnurlify of exp * typ
 
-       | EJavaScript of exp
+       | EJavaScript of javascript_mode * exp
 
+       | ESignalReturn of exp
 
 withtype exp = exp' located
 
-- 
cgit v1.2.3