Proposal: change to qualified operator syntax

Simon Marlow marlowsd at gmail.com
Tue Jul 14 09:44:59 EDT 2009


On 14/07/2009 08:58, Malcolm Wallace wrote:
>>>  left section  right section  prefix
>>> unqualified (+ 1) (1 +) (+)
>>> Haskell 98 (M.+ 1) (1 M.+) (M.+)
>>> proposed (`M.(+)` 1) (1 `M.(+)`) M.(+)
>>> or(*) (M.(+) 1) (flip M.(+) 1)
>
> The last line is not correct. (M.(+) 1) captures the first argument of
> the function, not the second like all the other entries in that column.
> Likewise the flip variant captures the second arg, where all the others
> capture the first.

oops, I got those the wrong way around.  Well spotted.

Fixed on the wiki page:

http://hackage.haskell.org/trac/haskell-prime/wiki/QualifiedOperators

Cheers,
	Simon


More information about the Haskell-prime mailing list