comparison src/lacweb.grm @ 225:5ac2cf59b839

Change [sql_field] type to get 'where' test to check again
author Adam Chlipala <adamc@hcoop.net>
date Thu, 21 Aug 2008 13:47:18 -0400
parents cb8a68964ebb
children b0041cc7e5f7
comparison
equal deleted inserted replaced
224:cb8a68964ebb 225:5ac2cf59b839
643 val hopt = (sql_inject (EVar (["Basis"], "True"), 643 val hopt = (sql_inject (EVar (["Basis"], "True"),
644 EVar (["Basis"], "sql_bool"), 644 EVar (["Basis"], "sql_bool"),
645 loc)) 645 loc))
646 646
647 val e = (EVar (["Basis"], "sql_query"), loc) 647 val e = (EVar (["Basis"], "sql_query"), loc)
648 val _ = [((CName "GroupBy", loc),
649 (ECApp ((EVar (["Basis"], "sql_subset_all"), loc),
650 (CWild (KRecord (KType, loc), loc), loc)), loc)),
651 ((CName "Having", loc),
652 hopt)]
653 val re = (ERecord [((CName "From", loc), 648 val re = (ERecord [((CName "From", loc),
654 (ERecord tables, loc)), 649 (ERecord tables, loc)),
655 ((CName "Where", loc), 650 ((CName "Where", loc),
656 wopt), 651 wopt),
657 ((CName "GroupBy", loc), 652 ((CName "GroupBy", loc),