Mercurial > urweb

comparison src/lacweb.grm @ 222:36fef91a6bbf

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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