Mercurial > urweb

diff lib/ur/basis.urs @ 993:10114d7b7477

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
SELECT DISTINCT; eta expansion during Cjrization
author Adam Chlipala <adamc@hcoop.net>
date Tue, 06 Oct 2009 15:39:27 -0400
parents 8c37699de273
children a87495bcaeec
line wrap: on
line diff
--- a/lib/ur/basis.urs	Tue Oct 06 13:11:03 2009 -0400
+++ b/lib/ur/basis.urs	Tue Oct 06 15:39:27 2009 -0400
@@ -291,7 +291,8 @@
                  -> grouped ::: {{Type}}
                  -> selectedFields ::: {{Type}}
                  -> selectedExps ::: {Type}
-                 -> {From : sql_from_items tables,
+                 -> {Distinct : bool,
+                     From : sql_from_items tables,
                      Where : sql_exp tables [] [] bool,
                      GroupBy : sql_subset tables grouped,
                      Having : sql_exp grouped tables [] bool,