Mercurial > urweb

comparison src/mono_shake.sml @ 1214:648e6b087dfb

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Change query_policy to sendClient; all arguments passed to SQL predicates are variables
author Adam Chlipala <adamc@hcoop.net>
date Thu, 08 Apr 2010 09:57:37 -0400
parents c316ca3c9ec6
children 526575a9537a
comparison
equal deleted inserted replaced
1213:e791d93d4616 1214:648e6b087dfb
59 (page_cs, IS.addList (page_es, [n1, n2])) 59 (page_cs, IS.addList (page_es, [n1, n2]))
60 | ((DTask (e1, e2), _), st) => usedVars (usedVars st e2) e1 60 | ((DTask (e1, e2), _), st) => usedVars (usedVars st e2) e1
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 PolQuery e1 => e1 64 PolClient e1 => e1
65 in 65 in
66 usedVars st e1 66 usedVars st e1
67 end 67 end
68 | (_, st) => st) (IS.empty, IS.empty) file 68 | (_, st) => st) (IS.empty, IS.empty) file
69 69