Mercurial > urweb

comparison src/shake.sml @ 1104:72670131dace

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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 a4979e31e4bf
children 7a31e0cf25e9
comparison
equal deleted inserted replaced
1103:2f42c61b8d0a 1104:72670131dace
65 ENamed n => (IS.add (es, n), cs) 65 ENamed n => (IS.add (es, n), cs)
66 | _ => st} 66 | _ => st}
67 67
68 val (usedE, usedC) = 68 val (usedE, usedC) =
69 List.foldl 69 List.foldl
70 (fn ((DExport (_, n), _), (usedE, usedC)) => (IS.add (usedE, n), usedC) 70 (fn ((DExport (_, n, _), _), (usedE, usedC)) => (IS.add (usedE, n), usedC)
71 | ((DTable (_, _, c, _, pe, pc, ce, cc), _), (usedE, usedC)) => 71 | ((DTable (_, _, c, _, pe, pc, ce, cc), _), (usedE, usedC)) =>
72 let 72 let
73 val usedC = usedVarsC usedC c 73 val usedC = usedVarsC usedC c
74 val usedC = usedVarsC usedC pc 74 val usedC = usedVarsC usedC pc
75 val usedC = usedVarsC usedC cc 75 val usedC = usedVarsC usedC cc