Mercurial > urweb
comparison src/checknest.sml @ 1112:7a31e0cf25e9
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) = |