comparison src/urweb.grm @ 2093:c647f113ba3e

New antiquote syntax for ORDER BY
author Adam Chlipala <adam@chlipala.net>
date Tue, 23 Dec 2014 12:24:38 -0500
parents f05fcb206571
children 8cf40452c900
comparison
equal deleted inserted replaced
2092:d4eb9b6729f8 2093:c647f113ba3e
2233 2233
2234 obopt : (ECApp ((EVar (["Basis"], "sql_order_by_Nil", Infer), dummy), 2234 obopt : (ECApp ((EVar (["Basis"], "sql_order_by_Nil", Infer), dummy),
2235 (CWild (KRecord (KType, dummy), dummy), dummy)), 2235 (CWild (KRecord (KType, dummy), dummy), dummy)),
2236 dummy) 2236 dummy)
2237 | ORDER BY obexps (obexps) 2237 | ORDER BY obexps (obexps)
2238 | ORDER BY LBRACE LBRACE LBRACE eexp RBRACE RBRACE RBRACE (eexp)
2238 2239
2239 obitem : sqlexp diropt (sqlexp, diropt) 2240 obitem : sqlexp diropt (sqlexp, diropt)
2240 2241
2241 obexps : obitem (let 2242 obexps : obitem (let
2242 val loc = s (obitemleft, obitemright) 2243 val loc = s (obitemleft, obitemright)