Mercurial > urweb

diff 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
line wrap: on
line diff
--- a/src/lacweb.grm	Sat Aug 16 17:46:26 2008 -0400
+++ b/src/lacweb.grm	Sat Aug 16 17:50:10 2008 -0400
@@ -684,6 +684,13 @@
                                                      EVar (["Basis"], "sql_bool"),
                                                      s (FALSEleft, FALSEright)))
 
+       | INT                            (sql_inject (EPrim (Prim.Int INT),
+                                                     EVar (["Basis"], "sql_int"),
+                                                     s (INTleft, INTright)))
+       | FLOAT                          (sql_inject (EPrim (Prim.Float FLOAT),
+                                                     EVar (["Basis"], "sql_float"),
+                                                     s (FLOATleft, FLOATright)))
+
        | tident DOT fident              (let
                                              val loc = s (tidentleft, fidentright)
                                              val e = (EVar (["Basis"], "sql_field"), loc)