Mercurial > urweb

comparison src/checknest.sml @ 1073:b2311dfb3158

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Initializers and setval
author Adam Chlipala <adamc@hcoop.net>
date Sun, 13 Dec 2009 14:20:41 -0500
parents 217eb87dde31
children 7a31e0cf25e9
comparison
equal deleted inserted replaced
1072:9001966ae1c8 1073:b2311dfb3158
85 in 85 in
86 case prepared of 86 case prepared of
87 SOME {id, ...} => IS.add (s, id) 87 SOME {id, ...} => IS.add (s, id)
88 | _ => s 88 | _ => s
89 end 89 end
90 | ESetval {seq, count} => IS.union (eu seq, eu count)
90 91
91 | EUnurlify (e, _) => eu e 92 | EUnurlify (e, _) => eu e
92 in 93 in
93 eu 94 eu
94 end 95 end
142 prepared = prepared}, loc) 143 prepared = prepared}, loc)
143 144
144 | ENextval {seq, prepared} => 145 | ENextval {seq, prepared} =>
145 (ENextval {seq = ae seq, 146 (ENextval {seq = ae seq,
146 prepared = prepared}, loc) 147 prepared = prepared}, loc)
148 | ESetval {seq, count} =>
149 (ESetval {seq = ae seq,
150 count = ae count}, loc)
147 151
148 | EUnurlify (e, t) => (EUnurlify (ae e, t), loc) 152 | EUnurlify (e, t) => (EUnurlify (ae e, t), loc)
149 in 153 in
150 ae 154 ae
151 end 155 end