On Mon, 13 Jul 2009, Simon Marlow wrote:

On 12/07/2009 22:32, hask...@henning-thielemann.de wrote:

Should the consistency with operator section also be added as 'cons' to
http://hackage.haskell.org/trac/haskell-prime/wiki/QualifiedOperators
?

So correct me if I'm wrong; the point you're making is:

            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)

(*) only if precedence isn't important, e.g. not in cases like (`M.(+)` x `M.(*)` y).


Yes, that's what I meant. Thanks for working it out!
_______________________________________________
Haskell-prime mailing list
Haskell-prime@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-prime

Reply via email to