Mercurial > urweb
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 |