Mercurial > urweb

diff lib/basis.urs @ 356:383c72d11db8

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Basis and Top syntax-highlight, indent, parse, and type-check
author Adam Chlipala <adamc@hcoop.net>
date Sun, 12 Oct 2008 12:21:54 -0400
parents 527529a083d9
children 260b680a6a04
line wrap: on
line diff
--- a/lib/basis.urs	Sun Oct 12 11:50:21 2008 -0400
+++ b/lib/basis.urs	Sun Oct 12 12:21:54 2008 -0400
@@ -207,7 +207,7 @@
             -> fn [tables ~ exps] =>
                   state ::: Type
                   -> sql_query tables exps
-                  -> ($(exps ++ fold (fn nm (fields :: {Type}) [[nm] ~ acc] =>
+                  -> ($(exps ++ fold (fn nm (fields :: {Type}) acc [[nm] ~ acc] =>
                                          [nm = $fields] ++ acc) [] tables)
                       -> state
                       -> transaction state)