diff options
Diffstat (limited to 'src/lacweb.grm')
| -rw-r--r-- | src/lacweb.grm | 16 |
1 files changed, 14 insertions, 2 deletions
diff --git a/src/lacweb.grm b/src/lacweb.grm index e38ad6b0..1eb85181 100644 --- a/src/lacweb.grm +++ b/src/lacweb.grm @@ -640,12 +640,24 @@ query : SELECT select FROM tables wopt val sel = (CRecord sel, loc) + val hopt = (sql_inject (EVar (["Basis"], "True"), + EVar (["Basis"], "sql_bool"), + loc)) + val e = (EVar (["Basis"], "sql_query"), loc) - val e = (ECApp (e, sel), loc) + val _ = [((CName "GroupBy", loc), + (ECApp ((EVar (["Basis"], "sql_subset_all"), loc), + (CWild (KRecord (KType, loc), loc), loc)), loc)), + ((CName "Having", loc), + hopt)] val re = (ERecord [((CName "From", loc), (ERecord tables, loc)), ((CName "Where", loc), - wopt)], loc) + wopt), + ((CName "SelectFields", loc), + (ECApp ((EVar (["Basis"], "sql_subset"), loc), + sel), loc))], loc) + val e = (EApp (e, re), loc) in e |