Mercurial > urweb

diff lib/basis.urs @ 268:bacd0ba869e1

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Monoize ASC/DESC
author Adam Chlipala <adamc@hcoop.net>
date Sun, 31 Aug 2008 16:54:13 -0400
parents 645d0e8da643
children fdd7a698be01
line wrap: on
line diff
--- a/lib/basis.urs	Sun Aug 31 16:32:49 2008 -0400
+++ b/lib/basis.urs	Sun Aug 31 16:54:13 2008 -0400
@@ -73,7 +73,7 @@
 con sql_order_by :: {{Type}} -> {Type} -> Type
 val sql_order_by_Nil : tables ::: {{Type}} -> exps :: {Type} -> sql_order_by tables exps
 val sql_order_by_Cons : tables ::: {{Type}} -> exps ::: {Type} -> t ::: Type
-        -> sql_exp tables [] exps t -> sql_order_by tables exps
+        -> sql_exp tables [] exps t -> sql_direction -> sql_order_by tables exps
         -> sql_order_by tables exps
 
 type sql_limit