Mercurial > urweb

comparison src/mono.sml @ 1293:acabf3935060

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tryDml
author Adam Chlipala <adam@chlipala.net>
date Sun, 05 Sep 2010 14:00:57 -0400
parents a9a500d22ebc
children b4480a56cab7
comparison
equal deleted inserted replaced
1292:a671c986f517 1293:acabf3935060
64 | Source of typ 64 | Source of typ
65 65
66 datatype effect = datatype Export.effect 66 datatype effect = datatype Export.effect
67 datatype export_kind = datatype Export.export_kind 67 datatype export_kind = datatype Export.export_kind
68 68
69 datatype failure_mode = datatype Settings.failure_mode
70
69 datatype exp' = 71 datatype exp' =
70 EPrim of Prim.t 72 EPrim of Prim.t
71 | ERel of int 73 | ERel of int
72 | ENamed of int 74 | ENamed of int
73 | ECon of datatype_kind * patCon * exp option 75 | ECon of datatype_kind * patCon * exp option
102 tables : (string * (string * typ) list) list, 104 tables : (string * (string * typ) list) list,
103 state : typ, 105 state : typ,
104 query : exp, 106 query : exp,
105 body : exp, 107 body : exp,
106 initial : exp } 108 initial : exp }
107 | EDml of exp 109 | EDml of exp * failure_mode
108 | ENextval of exp 110 | ENextval of exp
109 | ESetval of exp * exp 111 | ESetval of exp * exp
110 112
111 | EUnurlify of exp * typ * bool 113 | EUnurlify of exp * typ * bool
112 114