Commit f07201bb authored by Björn Peemöller 's avatar Björn Peemöller
Browse files

Grammar: Disallow unary minus in right section

parent 2ad14e2a
......@@ -243,7 +243,7 @@
\alt \term{[} Expr \term{|} \seq{Qual}{,}{n} \term{]}
\marg{\mbox{\it list comprehension, $n\geqslant 1$}}
\alt \term{(} Expr QInfixOp \term{)} \marg{\mbox{\it left section}\index{section}\index{section!left}\index{left section}}
\alt \term{(} QInfixOp Expr \term{)} \marg{\mbox{\it right section}\index{section}\index{section!right}\index{right section}}
\alt \term{(} \without{QInfixOp}{\term{-}} Expr \term{)} \marg{\mbox{\it right section}\index{section}\index{section!right}\index{right section}}
\alt QDataConstrID \term{\{} \seq{FBind}{,}{n} \term{\}}
\margcomb{labeled construction}{n \geqslant 0}\index{label}\index{construction}\index{labeled construction}
\alt \without{BasicExpr}{QDataConstrID} \term{\{} \seq{FBind}{,}{n} \term{\}}
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment