6 Oct
2012
6 Oct
'12
11:18 a.m.
On 12-10-06 05:18 AM, Johannes Waldmann wrote:
wren ng thornton
writes: As for whether the default should be "infix 9" instead of "infixl 9" ...
that was exactly the point of my message. - J.
Perhaps, half of the people want infixl, another half of the people want infixr, and so at the end the middle ground of neither l nor r is taken. Perhaps, political decision is about saying no to both the left and the right? :)