Mercurial > urweb

diff lib/basis.urs @ 252:7e9bd70ad3ce

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Monoized and optimized initial query test
author Adam Chlipala <adamc@hcoop.net>
date Sun, 31 Aug 2008 13:58:47 -0400
parents 326fb4686f60
children 7f6620853c36
line wrap: on
line diff
--- a/lib/basis.urs	Sun Aug 31 10:36:54 2008 -0400
+++ b/lib/basis.urs	Sun Aug 31 13:58:47 2008 -0400
@@ -156,8 +156,8 @@
         -> transaction t2
 
 val query : tables ::: {{Type}} -> exps ::: {Type} -> tables ~ exps
+        -> state ::: Type
         -> sql_query tables exps
-        -> state ::: Type
         -> ($(exps ++ fold (fn nm (fields :: {Type}) acc => [nm] ~ acc => [nm = $fields] ++ acc) [] tables)
                 -> state
                 -> transaction state)