Mercurial > urweb

comparison src/mono_shake.sml @ 1221:00e628854005

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Delete policies
author Adam Chlipala <adamc@hcoop.net>
date Sun, 11 Apr 2010 12:38:21 -0400
parents 526575a9537a
children 62af4cacd191
comparison
equal deleted inserted replaced
1220:526575a9537a 1221:00e628854005
61 | ((DPolicy pol, _), st) => 61 | ((DPolicy pol, _), st) =>
62 let 62 let
63 val e1 = case pol of 63 val e1 = case pol of
64 PolClient e1 => e1 64 PolClient e1 => e1
65 | PolInsert e1 => e1 65 | PolInsert e1 => e1
66 | PolDelete e1 => e1
66 in 67 in
67 usedVars st e1 68 usedVars st e1
68 end 69 end
69 | (_, st) => st) (IS.empty, IS.empty) file 70 | (_, st) => st) (IS.empty, IS.empty) file
70 71