|
|
@@ -16370,7 +16370,7 @@ True[0]
|
|
|
\itm{bool} &::=& \code{True} \MID \code{False} \\
|
|
|
\Exp{} &::=& \INT{\Int} \MID \READ{} \\
|
|
|
&\MID& \UNIOP{\itm{unaryop}}{\Exp}
|
|
|
- \MID \BINOP{\itm{binaryop}}{\Exp}{\Exp}
|
|
|
+ \MID \BINOP{\Exp}{\itm{binaryop}}{\Exp}
|
|
|
\MID \VAR{\Var{}} \\
|
|
|
&\MID& \BOOL{\itm{bool}}
|
|
|
\MID \BOOLOP{\itm{boolop}}{\Exp}{\Exp}\\
|
Peter Thiemann