diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2014-06-25 14:04:13 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2014-06-25 14:04:13 -0400 |
| commit | 547fc262a0cdf2363f8eb9ec75bea2f3dcaa9e83 (patch) | |
| tree | aa657a36e2c449a4aa47aac3b924487db6097d9a /src | |
| parent | 9e8624b754e546e547b047e50e30bcba3259d1f6 (diff) | |
New syntactic shorthand for antiquoting subqueries
Diffstat (limited to 'src')
| -rw-r--r-- | src/urweb.grm | 8 |
1 files changed, 8 insertions, 0 deletions
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)) |