Mercurial > urweb

diff src/lacweb.grm @ 210:f4033abd6ab1

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Inferring sql_type's
author Adam Chlipala <adamc@hcoop.net>
date Sat, 16 Aug 2008 12:35:46 -0400
parents 1487c712eb12
children e86411f647c6
line wrap: on
line diff
--- a/src/lacweb.grm	Sat Aug 16 12:15:38 2008 -0400
+++ b/src/lacweb.grm	Sat Aug 16 12:35:46 2008 -0400
@@ -632,6 +632,10 @@
                                                      EVar (["Basis"], "sql_bool"),
                                                      s (FALSEleft, FALSEright)))
 
+       | LBRACE eexp RBRACE             (sql_inject (#1 eexp,
+                                                     ESqlInfer,
+                                                     s (LBRACEleft, RBRACEright)))
+
 wopt   :                                (sql_inject (EVar (["Basis"], "True"),
                                                      EVar (["Basis"], "sql_bool"),
                                                      ErrorMsg.dummySpan))