Mercurial > urweb

diff 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
line wrap: on
line diff
--- a/src/monoize.sml	Tue Apr 06 16:14:19 2010 -0400
+++ b/src/monoize.sml	Thu Apr 08 09:57:37 2010 -0400
@@ -3744,9 +3744,9 @@
             let
                 val (e, make) =
                     case #1 e of
-                        L.EApp ((L.ECApp ((L.ECApp ((L.EFfi ("Basis", "query_policy"), _), _), _), _), _), e) =>
-                        (e, L'.PolQuery)
-                      | _ => (poly (); (e, L'.PolQuery))
+                        L.EApp ((L.ECApp ((L.ECApp ((L.EFfi ("Basis", "sendClient"), _), _), _), _), _), e) =>
+                        (e, L'.PolClient)
+                      | _ => (poly (); (e, L'.PolClient))
 
                 val (e, fm) = monoExp (env, St.empty, fm) e
             in