Mercurial > urweb
comparison src/lacweb.grm @ 222:36fef91a6bbf
Integer and float constants in SQL
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sat, 16 Aug 2008 17:50:10 -0400 |
parents | 79819a6346e2 |
children | bbe5899a9585 |
comparison
equal
deleted
inserted
replaced
221:79819a6346e2 | 222:36fef91a6bbf |
---|---|
682 s (TRUEleft, TRUEright))) | 682 s (TRUEleft, TRUEright))) |
683 | FALSE (sql_inject (EVar (["Basis"], "False"), | 683 | FALSE (sql_inject (EVar (["Basis"], "False"), |
684 EVar (["Basis"], "sql_bool"), | 684 EVar (["Basis"], "sql_bool"), |
685 s (FALSEleft, FALSEright))) | 685 s (FALSEleft, FALSEright))) |
686 | 686 |
687 | INT (sql_inject (EPrim (Prim.Int INT), | |
688 EVar (["Basis"], "sql_int"), | |
689 s (INTleft, INTright))) | |
690 | FLOAT (sql_inject (EPrim (Prim.Float FLOAT), | |
691 EVar (["Basis"], "sql_float"), | |
692 s (FLOATleft, FLOATright))) | |
693 | |
687 | tident DOT fident (let | 694 | tident DOT fident (let |
688 val loc = s (tidentleft, fidentright) | 695 val loc = s (tidentleft, fidentright) |
689 val e = (EVar (["Basis"], "sql_field"), loc) | 696 val e = (EVar (["Basis"], "sql_field"), loc) |
690 val e = (ECApp (e, tident), loc) | 697 val e = (ECApp (e, tident), loc) |
691 in | 698 in |