# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1419355478 18000
# Node ID c647f113ba3ec7c7b7b462a5ff7da40c902236e8
# Parent  d4eb9b6729f8a8841bb5bf87a77c14334b3c961d
New antiquote syntax for ORDER BY

diff -r d4eb9b6729f8 -r c647f113ba3e doc/manual.tex
--- a/doc/manual.tex	Tue Dec 23 11:23:27 2014 -0500
+++ b/doc/manual.tex	Tue Dec 23 12:24:38 2014 -0500
@@ -2263,7 +2263,7 @@
   \textrm{Pre-queries} & q &::=& \mt{SELECT} \; [\mt{DISTINCT}] \; P \; \mt{FROM} \; F,^+ \; [\mt{WHERE} \; E] \; [\mt{GROUP} \; \mt{BY} \; p,^+] \; [\mt{HAVING} \; E] \\
   &&& \mid q \; R \; q \mid \{\{\{e\}\}\} \\
   \textrm{Relational operators} & R &::=& \mt{UNION} \mid \mt{INTERSECT} \mid \mt{EXCEPT} \\
-  \textrm{$\mt{ORDER \; BY}$ items} & O &::=& \mt{RANDOM} [()] \mid \hat{E} \; [o] \mid \hat{E} \; [o], O
+  \textrm{$\mt{ORDER \; BY}$ items} & O &::=& \mt{RANDOM} [()] \mid \hat{E} \; [o] \mid \hat{E} \; [o], O \mid \{\{\{e\}\}\}
 \end{array}$$
 
 $$\begin{array}{rrcll}
diff -r d4eb9b6729f8 -r c647f113ba3e src/urweb.grm
--- a/src/urweb.grm	Tue Dec 23 11:23:27 2014 -0500
+++ b/src/urweb.grm	Tue Dec 23 12:24:38 2014 -0500
@@ -2235,6 +2235,7 @@
                                                 (CWild (KRecord (KType, dummy), dummy), dummy)),
                                          dummy)
        | ORDER BY obexps                (obexps)
+       | ORDER BY LBRACE LBRACE LBRACE eexp RBRACE RBRACE RBRACE (eexp)
 
 obitem : sqlexp diropt                  (sqlexp, diropt)