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