Mercurial > urweb

comparison src/mono_shake.sml @ 1265:e8d68fd8ed4b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Consider view declarations while shaking
author Adam Chlipala <adamc@hcoop.net>
date Thu, 27 May 2010 15:10:52 -0400
parents a2cd6664f57f
children 3d06e0f7a6f3
comparison
equal deleted inserted replaced
1264:79b2bcac6200 1265:e8d68fd8ed4b
56 List.foldl 56 List.foldl
57 (fn ((DExport (_, _, n, _, _, _), _), (page_cs, page_es)) => (page_cs, IS.add (page_es, n)) 57 (fn ((DExport (_, _, n, _, _, _), _), (page_cs, page_es)) => (page_cs, IS.add (page_es, n))
58 | ((DDatabase {expunge = n1, initialize = n2, ...}, _), (page_cs, page_es)) => 58 | ((DDatabase {expunge = n1, initialize = n2, ...}, _), (page_cs, page_es)) =>
59 (page_cs, IS.addList (page_es, [n1, n2])) 59 (page_cs, IS.addList (page_es, [n1, n2]))
60 | ((DTask (e1, e2), _), st) => usedVars (usedVars st e2) e1 60 | ((DTask (e1, e2), _), st) => usedVars (usedVars st e2) e1
61 | ((DView (_, _, e), _), st) => usedVars st e
61 | ((DPolicy pol, _), st) => 62 | ((DPolicy pol, _), st) =>
62 let 63 let
63 val e1 = case pol of 64 val e1 = case pol of
64 PolClient e1 => e1 65 PolClient e1 => e1
65 | PolInsert e1 => e1 66 | PolInsert e1 => e1