From 808b837c2243cb07b2979c030fabd0963fad8af0 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 21 Aug 2008 12:54:09 -0400 Subject: GROUP BY added to query type, with trivial parsing, for now --- src/lacweb.grm | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'src') diff --git a/src/lacweb.grm b/src/lacweb.grm index 1eb85181..1431f792 100644 --- a/src/lacweb.grm +++ b/src/lacweb.grm @@ -654,6 +654,12 @@ query : SELECT select FROM tables wopt (ERecord tables, loc)), ((CName "Where", loc), wopt), + ((CName "GroupBy", loc), + (ECApp ((EVar (["Basis"], "sql_subset_all"), loc), + (CWild (KRecord (KRecord (KType, loc), loc), + loc), loc)), loc)), + ((CName "Having", loc), + hopt), ((CName "SelectFields", loc), (ECApp ((EVar (["Basis"], "sql_subset"), loc), sel), loc))], loc) -- cgit v1.2.3