[Haskell-cafe] Proposal: Infix expression keyword: -XInfixExpressions

[Christopher Done]

On 19 February 2015 at 18:53, Nils Schweinsberg <mail at nils.cc> wrote:
> What would be the typing rules for this? What would be the types of
> e.g. pointfree written function definitions (`f` in `let f = infix + 5
> in f 2 + f 2 3 4`)?

Purely syntactical, the translation I gave was literal: let f = infix
+ 5 is the same as let f = (5 +). But to avoid confusion it's also
possible to disallow unary arguments and mandate at least two
arguments.