Mercurial > urweb
comparison src/mono_shake.sml @ 1221:00e628854005
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 |