comparison src/scriptcheck.sml @ 1073:b2311dfb3158

Initializers and setval
author Adam Chlipala <adamc@hcoop.net>
date Sun, 13 Dec 2009 14:20:41 -0500
parents 217eb87dde31
children 72670131dace
comparison
equal deleted inserted replaced
1072:9001966ae1c8 1073:b2311dfb3158
112 | ELet (_, _, e1, e2) => hasClient e1 orelse hasClient e2 112 | ELet (_, _, e1, e2) => hasClient e1 orelse hasClient e2
113 | EQuery {query, body, initial, ...} => hasClient query orelse hasClient body 113 | EQuery {query, body, initial, ...} => hasClient query orelse hasClient body
114 orelse hasClient initial 114 orelse hasClient initial
115 | EDml {dml, ...} => hasClient dml 115 | EDml {dml, ...} => hasClient dml
116 | ENextval {seq, ...} => hasClient seq 116 | ENextval {seq, ...} => hasClient seq
117 | ESetval {seq, count, ...} => hasClient seq orelse hasClient count
117 | EUnurlify (e, _) => hasClient e 118 | EUnurlify (e, _) => hasClient e
118 in 119 in
119 hasClient 120 hasClient
120 end 121 end
121 122