comparison src/urweb.grm @ 2006:c3b03d099e04

Allow parens grouping joins in FROM clauses
author Adam Chlipala <adam@chlipala.net>
date Tue, 29 Apr 2014 16:47:45 -0400
parents d6b0ee53dc93
children 93ff76058825
comparison
equal deleted inserted replaced
2005:f3b0c82e2b13 2006:c3b03d099e04
1905 val e = (EVar (["Basis"], "sql_from_query", Infer), loc) 1905 val e = (EVar (["Basis"], "sql_from_query", Infer), loc)
1906 val e = (ECApp (e, tname), loc) 1906 val e = (ECApp (e, tname), loc)
1907 in 1907 in
1908 ([tname], (EApp (e, query), loc)) 1908 ([tname], (EApp (e, query), loc))
1909 end) 1909 end)
1910 | LPAREN fitem RPAREN (fitem)
1910 1911
1911 tname : CSYMBOL (CName CSYMBOL, s (CSYMBOLleft, CSYMBOLright)) 1912 tname : CSYMBOL (CName CSYMBOL, s (CSYMBOLleft, CSYMBOLright))
1912 | LBRACE cexp RBRACE (cexp) 1913 | LBRACE cexp RBRACE (cexp)
1913 1914
1914 table : SYMBOL ((CName (capitalize SYMBOL), s (SYMBOLleft, SYMBOLright)), 1915 table : SYMBOL ((CName (capitalize SYMBOL), s (SYMBOLleft, SYMBOLright)),