Mercurial > urweb
comparison src/mono_shake.sml @ 1223:62af4cacd191
Update policies
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 11 Apr 2010 13:11:25 -0400 |
parents | 00e628854005 |
children | a2cd6664f57f |
comparison
equal
deleted
inserted
replaced
1222:117f13bdc1fd | 1223:62af4cacd191 |
---|---|
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 | PolDelete e1 => e1 |
67 | PolUpdate e1 => e1 | |
67 in | 68 in |
68 usedVars st e1 | 69 usedVars st e1 |
69 end | 70 end |
70 | (_, st) => st) (IS.empty, IS.empty) file | 71 | (_, st) => st) (IS.empty, IS.empty) file |
71 | 72 |