Mercurial > urweb

comparison src/mono_util.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
539 fn p' => 539 fn p' =>
540 (DPolicy p', loc)) 540 (DPolicy p', loc))
541 541
542 and mfpol ctx pol = 542 and mfpol ctx pol =
543 case pol of 543 case pol of
544 PolQuery e => 544 PolClient e =>
545 S.map2 (mfe ctx e, 545 S.map2 (mfe ctx e,
546 PolQuery) 546 PolClient)
547 547
548 and mfvi ctx (x, n, t, e, s) = 548 and mfvi ctx (x, n, t, e, s) =
549 S.bind2 (mft t, 549 S.bind2 (mft t,
550 fn t' => 550 fn t' =>
551 S.map2 (mfe ctx e, 551 S.map2 (mfe ctx e,