Mercurial > urweb

comparison src/mono_shake.sml @ 1229:a2cd6664f57f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
sendOwnIds policies
author Adam Chlipala <adamc@hcoop.net>
date Sun, 11 Apr 2010 17:55:37 -0400
parents 62af4cacd191
children e8d68fd8ed4b
comparison
equal deleted inserted replaced
1228:7dfa67560916 1229:a2cd6664f57f
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 | PolUpdate e1 => e1
68 | PolSequence e1 => e1
68 in 69 in
69 usedVars st e1 70 usedVars st e1
70 end 71 end
71 | (_, st) => st) (IS.empty, IS.empty) file 72 | (_, st) => st) (IS.empty, IS.empty) file
72 73