diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2010-03-25 16:06:04 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2010-03-25 16:06:04 -0400 |
| commit | 94703081971636db5bcdbb46ecebec234f4760e4 (patch) | |
| tree | 692542b44d3c974920be5c1b7b9c8a708c336dff /src/urweb.grm | |
| parent | 8956b5096cd268b6eb73040ede0688849084c5fe (diff) | |
Subquery FROM items
Diffstat (limited to 'src/urweb.grm')
| -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 f11c3cd5..995d4664 100644 --- a/src/urweb.grm +++ b/src/urweb.grm @@ -1629,6 +1629,14 @@ fitem : table' ([#1 table'], #2 table') (#1 fitem1 @ #1 fitem2, (EApp (e, sqlexp), loc)) end) + | LPAREN query 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, query), loc)) + end) tname : CSYMBOL (CName CSYMBOL, s (CSYMBOLleft, CSYMBOLright)) | LBRACE cexp RBRACE (cexp) |