Fractional/negative fixity?

[Benjamin Franksen]

Jón Fairbairn wrote:
> Syntax 1, based on Phil Wadler's improvement of my old
> proposal. The precedence relation is a preorder.[...]
> 
> infix {ops_1; ops_2; ...; ops_n}
> 
> The alternative syntax is exemplified thus:
> 
> infix L + - (L * / (R ^))
> 
> [...]

I think both ways (I like the second one more) are a lot better than
precedence numbers, whether they be fractional or integral.

Let us add compiler/interpreter support for querying known precedence/fixity
relations and it's (almost) perfect.

Cheers
Ben