Mercurial > urweb

diff src/urweb.grm @ 2031:d11a7a9c4a73

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
New syntactic shorthand for antiquoting subqueries
author Adam Chlipala <adam@chlipala.net>
date Wed, 25 Jun 2014 14:04:13 -0400
parents afeeabdcce77
children 6be31671911b
line wrap: on
line diff
--- a/src/urweb.grm	Sun Jun 15 21:13:12 2014 +0000
+++ b/src/urweb.grm	Wed Jun 25 14:04:13 2014 -0400
@@ -1981,6 +1981,14 @@
                                          in
                                              ([tname], (EApp (e, query), loc))
                                          end)
+       | LPAREN LBRACE LBRACE eexp RBRACE RBRACE RPAREN AS tname   (let
+                                             val loc = s (LPARENleft, RPARENright)
+                                                       
+                                             val e = (EVar (["Basis"], "sql_from_query", Infer), loc)
+                                             val e = (ECApp (e, tname), loc)
+                                         in
+                                             ([tname], (EApp (e, eexp), loc))
+                                         end)
        | LPAREN fitem RPAREN            (fitem)
 
 tname  : CSYMBOL                        (CName CSYMBOL, s (CSYMBOLleft, CSYMBOLright))