comparison src/mono.sml @ 1698:aaae710417df

Remove seemingly inaccurate part of comment (perhaps clarified version can be added back in later)
author Adam Chlipala <adam@chlipala.net>
date Tue, 13 Mar 2012 11:59:03 -0400
parents 177547450bb9
children c1e3805e604e
comparison
equal deleted inserted replaced
1697:cb0f05bdc183 1698:aaae710417df
103 | EClosure of int * exp list 103 | EClosure of int * exp list
104 104
105 | EQuery of { exps : (string * typ) list, (* name of computed field, type of field*) 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, (* exp of string type containing sql query 108 query : exp, (* exp of string type containing sql query *)
109 (after mono opt) *)
110 body : exp, 109 body : exp,
111 initial : exp } 110 initial : exp }
112 | EDml of exp * failure_mode 111 | EDml of exp * failure_mode
113 | ENextval of exp 112 | ENextval of exp
114 | ESetval of exp * exp 113 | ESetval of exp * exp