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 | e6655be0a7d1dd5864afce14bd3c68873025a84f (patch) | |
| tree | b89e13e840fa39618ad79ac3a89de9ab9370d441 /src/mono.sml | |
| parent | 38f0a1e10825923e44f22bdd559291b32eb3173d (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 |