diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-08-16 17:50:10 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-08-16 17:50:10 -0400 |
| commit | 024d9ab1d554d897787c9d38dc1761ba37a078de (patch) | |
| tree | 1d9d8824d8b3f4d20f6e6b59d4cc0061bf974681 /src | |
| parent | afa00baf57893d90366720a364333d3d86c7089a (diff) | |
Integer and float constants in SQL
Diffstat (limited to 'src')
| -rw-r--r-- | src/lacweb.grm | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/lacweb.grm b/src/lacweb.grm index aee12028..e38ad6b0 100644 --- a/src/lacweb.grm +++ b/src/lacweb.grm @@ -684,6 +684,13 @@ sqlexp : TRUE (sql_inject (EVar (["Basis"], "True"), 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) |