Mercurial > urweb

comparison 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
comparison
equal deleted inserted replaced
992:b825d843b22d 993:10114d7b7477
289 289
290 val sql_query1 : tables ::: {{Type}} 290 val sql_query1 : tables ::: {{Type}}
291 -> grouped ::: {{Type}} 291 -> grouped ::: {{Type}}
292 -> selectedFields ::: {{Type}} 292 -> selectedFields ::: {{Type}}
293 -> selectedExps ::: {Type} 293 -> selectedExps ::: {Type}
294 -> {From : sql_from_items tables, 294 -> {Distinct : bool,
295 From : sql_from_items tables,
295 Where : sql_exp tables [] [] bool, 296 Where : sql_exp tables [] [] bool,
296 GroupBy : sql_subset tables grouped, 297 GroupBy : sql_subset tables grouped,
297 Having : sql_exp grouped tables [] bool, 298 Having : sql_exp grouped tables [] bool,
298 SelectFields : sql_subset grouped selectedFields, 299 SelectFields : sql_subset grouped selectedFields,
299 SelectExps : $(map (sql_exp grouped tables []) 300 SelectExps : $(map (sql_exp grouped tables [])