comparison src/urweb.grm @ 1192:9c82548c97e9

Subquery FROM items
author Adam Chlipala <adamc@hcoop.net>
date Thu, 25 Mar 2010 16:06:04 -0400
parents 61c3139eab12
children 601a77af0477
comparison
equal deleted inserted replaced
1191:61c3139eab12 1192:9c82548c97e9
1627 val e = (EApp (e, #2 fitem2), loc) 1627 val e = (EApp (e, #2 fitem2), loc)
1628 in 1628 in
1629 (#1 fitem1 @ #1 fitem2, 1629 (#1 fitem1 @ #1 fitem2,
1630 (EApp (e, sqlexp), loc)) 1630 (EApp (e, sqlexp), loc))
1631 end) 1631 end)
1632 | LPAREN query RPAREN AS tname (let
1633 val loc = s (LPARENleft, RPARENright)
1634
1635 val e = (EVar (["Basis"], "sql_from_query", Infer), loc)
1636 val e = (ECApp (e, tname), loc)
1637 in
1638 ([tname], (EApp (e, query), loc))
1639 end)
1632 1640
1633 tname : CSYMBOL (CName CSYMBOL, s (CSYMBOLleft, CSYMBOLright)) 1641 tname : CSYMBOL (CName CSYMBOL, s (CSYMBOLleft, CSYMBOLright))
1634 | LBRACE cexp RBRACE (cexp) 1642 | LBRACE cexp RBRACE (cexp)
1635 1643
1636 table : SYMBOL ((CName (capitalize SYMBOL), s (SYMBOLleft, SYMBOLright)), 1644 table : SYMBOL ((CName (capitalize SYMBOL), s (SYMBOLleft, SYMBOLright)),