diff options
| author |  Edward Z. Yang <ezyang@mit.edu> | 2012-03-12 12:00:13 -0700 |
|---|---|---|
| committer | Edward Z. Yang <ezyang@mit.edu> | 2012-03-12 12:00:13 -0700 |
| commit | 7e9bfe341668ef03fb3f5420eb11aa183ac30ea5 (patch) | |
| tree | 46a1aa84cbd328ba7e57fc81589c95b69256b9ed /src/mono.sml | |
| parent | 7dcc04f288c27a29e18ad2c0b55d07b218655deb (diff) | |
Some minor documentation to the Mono AST.
Diffstat (limited to 'src/mono.sml')
| -rw-r--r-- | src/mono.sml | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/src/mono.sml b/src/mono.sml index 2c83d1bc..65dc9abc 100644 --- a/src/mono.sml +++ b/src/mono.sml @@ -44,7 +44,7 @@ datatype typ' = withtype typ = typ' located datatype patCon = - PConVar of int + PConVar of int (* constructor identifier *) | PConFfi of {mod : string, datatyp : string, con : string, arg : typ option} datatype pat' = @@ -72,8 +72,8 @@ datatype binop_intness = Int | NotInt datatype exp' = EPrim of Prim.t - | ERel of int - | ENamed of int + | ERel of int (* deBruijn index *) + | ENamed of int (* named variable *) | ECon of datatype_kind * patCon * exp option | ENone of typ | ESome of typ * exp @@ -102,10 +102,11 @@ datatype exp' = | EClosure of int * exp list - | EQuery of { exps : (string * typ) list, + | EQuery of { exps : (string * typ) list, (* name of computed field, type of field*) tables : (string * (string * typ) list) list, state : typ, - query : exp, + query : exp, (* exp of string type containing sql query + (after mono opt) *) body : exp, initial : exp } | EDml of exp * failure_mode |