comparison src/lacweb.grm @ 224:cb8a68964ebb

GROUP BY added to query type, with trivial parsing, for now
author Adam Chlipala <adamc@hcoop.net>
date Thu, 21 Aug 2008 12:54:09 -0400
parents bbe5899a9585
children 5ac2cf59b839
comparison
equal deleted inserted replaced
223:bbe5899a9585 224:cb8a68964ebb
652 hopt)] 652 hopt)]
653 val re = (ERecord [((CName "From", loc), 653 val re = (ERecord [((CName "From", loc),
654 (ERecord tables, loc)), 654 (ERecord tables, loc)),
655 ((CName "Where", loc), 655 ((CName "Where", loc),
656 wopt), 656 wopt),
657 ((CName "GroupBy", loc),
658 (ECApp ((EVar (["Basis"], "sql_subset_all"), loc),
659 (CWild (KRecord (KRecord (KType, loc), loc),
660 loc), loc)), loc)),
661 ((CName "Having", loc),
662 hopt),
657 ((CName "SelectFields", loc), 663 ((CName "SelectFields", loc),
658 (ECApp ((EVar (["Basis"], "sql_subset"), loc), 664 (ECApp ((EVar (["Basis"], "sql_subset"), loc),
659 sel), loc))], loc) 665 sel), loc))], loc)
660 666
661 val e = (EApp (e, re), loc) 667 val e = (EApp (e, re), loc)