Mercurial > urweb
comparison src/tag.sml @ 1104:72670131dace
Basis.serialize; separate file for mhash; run transactional finishers in reverse order; set needs_sig properly
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 31 Dec 2009 11:41:57 -0500 |
parents | 50dd937c4cb9 |
children | 503d4ec93494 |
comparison
equal
deleted
inserted
replaced
1103:2f42c61b8d0a | 1104:72670131dace |
---|---|
195 let | 195 let |
196 val count = U.File.maxName file | 196 val count = U.File.maxName file |
197 | 197 |
198 fun doDecl (d as (d', loc), (env, count, tags, byTag)) = | 198 fun doDecl (d as (d', loc), (env, count, tags, byTag)) = |
199 case d' of | 199 case d' of |
200 DExport (ek, n) => | 200 DExport (ek, n, _) => |
201 let | 201 let |
202 val (_, _, _, s) = E.lookupENamed env n | 202 val (_, _, _, s) = E.lookupENamed env n |
203 in | 203 in |
204 case SM.find (byTag, s) of | 204 case SM.find (byTag, s) of |
205 NONE => ([d], (env, count, tags, byTag)) | 205 NONE => ([d], (env, count, tags, byTag)) |
274 in | 274 in |
275 (abs, t) | 275 (abs, t) |
276 end | 276 end |
277 in | 277 in |
278 (("wrap_" ^ fnam, cn, t, abs, tag), | 278 (("wrap_" ^ fnam, cn, t, abs, tag), |
279 (DExport (ek, cn), loc)) | 279 (DExport (ek, cn, false), loc)) |
280 end) newTags | 280 end) newTags |
281 | 281 |
282 val (newVals, newExports) = ListPair.unzip newDs | 282 val (newVals, newExports) = ListPair.unzip newDs |
283 | 283 |
284 val ds = case d of | 284 val ds = case d of |