Mercurial > urweb

comparison src/scriptcheck.sml @ 1112:7a31e0cf25e9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Proper C-side deserialization; Shake.sliceDb
author Adam Chlipala <adamc@hcoop.net>
date Sun, 03 Jan 2010 12:47:27 -0500
parents 72670131dace
children 0577be31a435
comparison
equal deleted inserted replaced
1111:e1d738870086 1112:7a31e0cf25e9
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 | ESetval {seq, count, ...} => hasClient seq orelse hasClient count
118 | EUnurlify (e, _) => hasClient e 118 | EUnurlify (e, _, _) => hasClient e
119 in 119 in
120 hasClient 120 hasClient
121 end 121 end
122 122
123 fun decl ((d, _), (pull_ids, push_ids)) = 123 fun decl ((d, _), (pull_ids, push_ids)) =