Mercurial > urweb

comparison src/monoize.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 ae3036773768
children 526575a9537a
comparison
equal deleted inserted replaced
1213:e791d93d4616 1214:648e6b087dfb
3742 end 3742 end
3743 | L.DPolicy e => 3743 | L.DPolicy e =>
3744 let 3744 let
3745 val (e, make) = 3745 val (e, make) =
3746 case #1 e of 3746 case #1 e of
3747 L.EApp ((L.ECApp ((L.ECApp ((L.EFfi ("Basis", "query_policy"), _), _), _), _), _), e) => 3747 L.EApp ((L.ECApp ((L.ECApp ((L.EFfi ("Basis", "sendClient"), _), _), _), _), _), e) =>
3748 (e, L'.PolQuery) 3748 (e, L'.PolClient)
3749 | _ => (poly (); (e, L'.PolQuery)) 3749 | _ => (poly (); (e, L'.PolClient))
3750 3750
3751 val (e, fm) = monoExp (env, St.empty, fm) e 3751 val (e, fm) = monoExp (env, St.empty, fm) e
3752 in 3752 in
3753 SOME (env, 3753 SOME (env,
3754 fm, 3754 fm,