comparison src/urweb.grm @ 1543:6f046b4bad24

Add antiquote for ORDER BY directions
author Adam Chlipala <adam@chlipala.net>
date Fri, 19 Aug 2011 14:20:24 -0400
parents 541673c3161d
children a0caa991cdad
comparison
equal deleted inserted replaced
1542:dc4c61363d0a 1543:6f046b4bad24
1919 end) 1919 end)
1920 1920
1921 diropt : (EVar (["Basis"], "sql_asc", Infer), dummy) 1921 diropt : (EVar (["Basis"], "sql_asc", Infer), dummy)
1922 | ASC (EVar (["Basis"], "sql_asc", Infer), s (ASCleft, ASCright)) 1922 | ASC (EVar (["Basis"], "sql_asc", Infer), s (ASCleft, ASCright))
1923 | DESC (EVar (["Basis"], "sql_desc", Infer), s (DESCleft, DESCright)) 1923 | DESC (EVar (["Basis"], "sql_desc", Infer), s (DESCleft, DESCright))
1924 | LBRACE eexp RBRACE (eexp)
1924 1925
1925 lopt : (EVar (["Basis"], "sql_no_limit", Infer), dummy) 1926 lopt : (EVar (["Basis"], "sql_no_limit", Infer), dummy)
1926 | LIMIT ALL (EVar (["Basis"], "sql_no_limit", Infer), dummy) 1927 | LIMIT ALL (EVar (["Basis"], "sql_no_limit", Infer), dummy)
1927 | LIMIT sqlint (let 1928 | LIMIT sqlint (let
1928 val loc = s (LIMITleft, sqlintright) 1929 val loc = s (LIMITleft, sqlintright)