[GHC] #9993: PostfixOperators doesn't work for types

15 Jan 2015

      #9993: PostfixOperators doesn't work for types
-------------------------------------+-------------------------------------
              Reporter:  shachaf     |             Owner:
                  Type:  feature     |            Status:  new
  request                            |         Milestone:
              Priority:  normal      |           Version:  7.8.4
             Component:  Compiler    |  Operating System:  Unknown/Multiple
              Keywords:              |   Type of failure:  None/Unknown
          Architecture:              |        Blocked By:
  Unknown/Multiple                   |   Related Tickets:
             Test Case:              |
              Blocking:              |
Differential Revisions:              |
-------------------------------------+-------------------------------------
 `PostfixOperators` is a useful extension on the value level that defines
 `(x OP)` to mean `((OP) x)` for an infix operator `OP`, rather than `(\y
 -> (OP) x y)`. This could be even more useful on the type level, where
 lambdas are unavailable (so sections don't exist at all) but postfix
 operators could still exist.

 This is already a common pseudocode idiom in some cases, e.g. `(r ->)`
 instead of `((->) r)`. Is there a particular syntactic reason to disallow
 it?

--
Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9993
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler