Mercurial > urweb

comparison src/mono_shake.sml @ 1223:62af4cacd191

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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