diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-12-20 15:46:48 -0500 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-12-20 15:46:48 -0500 |
commit | 80be553bea33f3d9cb19f399f64eed36017048a3 (patch) | |
tree | b89e13e840fa39618ad79ac3a89de9ab9370d441 /src/mono.sml | |
parent | a08075494d9c16a349215fbcaefa3e1d14d2e0f9 (diff) |
Initial <dyn> support
Diffstat (limited to 'src/mono.sml')
-rw-r--r-- | src/mono.sml | 9 |
1 files changed, 8 insertions, 1 deletions
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 |