Mercurial > urweb
comparison src/mono_shake.sml @ 1265:e8d68fd8ed4b
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 |