diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-09-02 09:53:15 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-09-02 09:53:15 -0400 |
| commit | 006b289416ce53bdead86be0f86c120bda689c8b (patch) | |
| tree | 6aba49651ddda622d6bc445701eed3be91d3d4c9 /src/cjr.sml | |
| parent | 83431c3e4c3fa74cae515520be04a0be3c11fef2 (diff) | |
Cjrize query
Diffstat (limited to 'src/cjr.sml')
| -rw-r--r-- | src/cjr.sml | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/src/cjr.sml b/src/cjr.sml index cda7245a..e9b89bfc 100644 --- a/src/cjr.sml +++ b/src/cjr.sml @@ -32,8 +32,7 @@ type 'a located = 'a ErrorMsg.located datatype datatype_kind = datatype Mono.datatype_kind datatype typ' = - TTop - | TFun of typ * typ + TFun of typ * typ | TRecord of int | TDatatype of datatype_kind * int * (string * int * typ option) list ref | TFfi of string * string @@ -69,6 +68,15 @@ datatype exp' = | EWrite of exp | ESeq of exp * exp + | ELet of string * typ * exp * exp + + | EQuery of { exps : (string * typ) list, + tables : (string * (string * typ) list) list, + rnum : int, + state : typ, + query : exp, + body : exp, + initial : exp } withtype exp = exp' located |