diff src/mono.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.sml	Sat Dec 20 14:19:21 2008 -0500
+++ b/src/mono.sml	Sat Dec 20 15:46:48 2008 -0500
@@ -37,6 +37,7 @@
        | 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 @@
 
 withtype pat = pat' located
 
+datatype javascript_mode =
+         Attribute
+       | Script
+       | File
+
 datatype exp' =
          EPrim of Prim.t
        | ERel of int
@@ -96,8 +102,9 @@
 
        | EUnurlify of exp * typ
 
-       | EJavaScript of exp
+       | EJavaScript of javascript_mode * exp
 
+       | ESignalReturn of exp
 
 withtype exp = exp' located