# HG changeset patch # User Adam Chlipala # Date 1398804465 14400 # Node ID c3b03d099e04d415f87b452e6f1818804ffdfdac # Parent f3b0c82e2b134b68621b07a84bed1655d43a9c5a Allow parens grouping joins in FROM clauses diff -r f3b0c82e2b13 -r c3b03d099e04 src/urweb.grm --- a/src/urweb.grm Sat Apr 26 11:54:44 2014 -0400 +++ b/src/urweb.grm Tue Apr 29 16:47:45 2014 -0400 @@ -1907,6 +1907,7 @@ in ([tname], (EApp (e, query), loc)) end) + | LPAREN fitem RPAREN (fitem) tname : CSYMBOL (CName CSYMBOL, s (CSYMBOLleft, CSYMBOLright)) | LBRACE cexp RBRACE (cexp)