Mercurial > urweb

comparison src/urweb.grm @ 1684:9dd8d47c3e58

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Extend and document RANDOM
author Adam Chlipala <adam@chlipala.net>
date Sat, 04 Feb 2012 10:42:18 -0500
parents ac141fbb313a
children f7d9dc5d57eb
comparison
equal deleted inserted replaced
1683:be1ed46d73e2 1684:9dd8d47c3e58
2037 end) 2037 end)
2038 | RANDOM popt (EVar (["Basis"], "sql_order_by_random", Infer), s (RANDOMleft, poptright)) 2038 | RANDOM popt (EVar (["Basis"], "sql_order_by_random", Infer), s (RANDOMleft, poptright))
2039 2039
2040 popt : () 2040 popt : ()
2041 | LPAREN RPAREN () 2041 | LPAREN RPAREN ()
2042 | UNIT ()
2042 2043
2043 diropt : (EVar (["Basis"], "sql_asc", Infer), dummy) 2044 diropt : (EVar (["Basis"], "sql_asc", Infer), dummy)
2044 | ASC (EVar (["Basis"], "sql_asc", Infer), s (ASCleft, ASCright)) 2045 | ASC (EVar (["Basis"], "sql_asc", Infer), s (ASCleft, ASCright))
2045 | DESC (EVar (["Basis"], "sql_desc", Infer), s (DESCleft, DESCright)) 2046 | DESC (EVar (["Basis"], "sql_desc", Infer), s (DESCleft, DESCright))
2046 | LBRACE eexp RBRACE (eexp) 2047 | LBRACE eexp RBRACE (eexp)