Fractional/negative fixity?

Benjamin Franksen benjamin.franksen at
Thu Nov 9 13:25:36 EST 2006

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.


More information about the Haskell-prime mailing list