Closed robrix closed 9 years ago
x --> y * z is parsed as x --> (y * z) instead of (x --> y) * z. These should probably be at the same priority, but that’s not entirely clear.
x --> y * z
x --> (y * z)
(x --> y) * z
This was fixed by @sharplet.
(In that one ought use <^> instead.)
x --> y * z
is parsed asx --> (y * z)
instead of(x --> y) * z
. These should probably be at the same priority, but that’s not entirely clear.