Mercurial > urweb

comparison src/checknest.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 b2311dfb3158
children acabf3935060
comparison
equal deleted inserted replaced
1111:e1d738870086 1112:7a31e0cf25e9
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 | ESetval {seq, count} => IS.union (eu seq, eu count)
91 91
92 | EUnurlify (e, _) => eu e 92 | EUnurlify (e, _, _) => eu e
93 in 93 in
94 eu 94 eu
95 end 95 end
96 96
97 fun annotateExp globals = 97 fun annotateExp globals =
147 prepared = prepared}, loc) 147 prepared = prepared}, loc)
148 | ESetval {seq, count} => 148 | ESetval {seq, count} =>
149 (ESetval {seq = ae seq, 149 (ESetval {seq = ae seq,
150 count = ae count}, loc) 150 count = ae count}, loc)
151 151
152 | EUnurlify (e, t) => (EUnurlify (ae e, t), loc) 152 | EUnurlify (e, t, b) => (EUnurlify (ae e, t, b), loc)
153 in 153 in
154 ae 154 ae
155 end 155 end
156 156
157 fun annotate (ds, syms) = 157 fun annotate (ds, syms) =