Mercurial > urweb

comparison src/mono.sml @ 1696:177547450bb9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Some minor documentation to the Mono AST.
author Edward Z. Yang <ezyang@mit.edu>
date Mon, 12 Mar 2012 12:00:13 -0700
parents 0577be31a435
children aaae710417df
comparison
equal deleted inserted replaced
1695:385a1b799a74 1696:177547450bb9
42 | TSignal of typ 42 | TSignal of typ
43 43
44 withtype typ = typ' located 44 withtype typ = typ' located
45 45
46 datatype patCon = 46 datatype patCon =
47 PConVar of int 47 PConVar of int (* constructor identifier *)
48 | PConFfi of {mod : string, datatyp : string, con : string, arg : typ option} 48 | PConFfi of {mod : string, datatyp : string, con : string, arg : typ option}
49 49
50 datatype pat' = 50 datatype pat' =
51 PWild 51 PWild
52 | PVar of string * typ 52 | PVar of string * typ
70 70
71 datatype binop_intness = Int | NotInt 71 datatype binop_intness = Int | NotInt
72 72
73 datatype exp' = 73 datatype exp' =
74 EPrim of Prim.t 74 EPrim of Prim.t
75 | ERel of int 75 | ERel of int (* deBruijn index *)
76 | ENamed of int 76 | ENamed of int (* named variable *)
77 | ECon of datatype_kind * patCon * exp option 77 | ECon of datatype_kind * patCon * exp option
78 | ENone of typ 78 | ENone of typ
79 | ESome of typ * exp 79 | ESome of typ * exp
80 | EFfi of string * string 80 | EFfi of string * string
81 | EFfiApp of string * string * (exp * typ) list 81 | EFfiApp of string * string * (exp * typ) list
100 | ESeq of exp * exp 100 | ESeq of exp * exp
101 | ELet of string * typ * exp * exp 101 | ELet of string * typ * exp * exp
102 102
103 | EClosure of int * exp list 103 | EClosure of int * exp list
104 104
105 | EQuery of { exps : (string * typ) list, 105 | EQuery of { exps : (string * typ) list, (* name of computed field, type of field*)
106 tables : (string * (string * typ) list) list, 106 tables : (string * (string * typ) list) list,
107 state : typ, 107 state : typ,
108 query : exp, 108 query : exp, (* exp of string type containing sql query
109 (after mono opt) *)
109 body : exp, 110 body : exp,
110 initial : exp } 111 initial : exp }
111 | EDml of exp * failure_mode 112 | EDml of exp * failure_mode
112 | ENextval of exp 113 | ENextval of exp
113 | ESetval of exp * exp 114 | ESetval of exp * exp