Mercurial > urweb
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), |