From 4d2154f281d63408567a4f063dc4a5f9846cbf44 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Wed, 25 Jun 2014 14:04:13 -0400
Subject: New syntactic shorthand for antiquoting subqueries

---
 src/urweb.grm | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'src')

diff --git a/src/urweb.grm b/src/urweb.grm
index 4671569d..1f4540ba 100644
--- a/src/urweb.grm
+++ b/src/urweb.grm
@@ -1981,6 +1981,14 @@ fitem  : table'                         ([#1 table'], #2 table')
                                          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))
-- 
cgit v1.2.3