[GHC] #16269: Postfix operator precedence

GHC ghc-devs at haskell.org
Fri Feb 1 17:32:33 UTC 2019


#16269: Postfix operator precedence
-------------------------------------+-------------------------------------
           Reporter:  anuyts         |             Owner:  (none)
               Type:  feature        |            Status:  new
  request                            |
           Priority:  normal         |         Milestone:
          Component:  Compiler       |           Version:  8.0.2
  (Parser)                           |
           Keywords:  fixity         |  Operating System:  Unknown/Multiple
  PostfixOperators                   |
       Architecture:                 |   Type of failure:  Other
  Unknown/Multiple                   |
          Test Case:                 |        Blocked By:
           Blocking:                 |   Related Tickets:
Differential Rev(s):                 |         Wiki Page:
-------------------------------------+-------------------------------------
 I want to define a postfix operator $- that feeds a default argument
 (obtained from a typeclass) to a given function. However, I would like to
 be able to write things like (f $ g $ h $-) for (f (g (h (defaultArg)))).
 This is not allowed, as $ has precedence 0 and $- is required to have
 lower precedence, which is impossible. I think it would be sensible if $-
 was required to have precedence at most infixr 0 (which is the precedence
 of $).

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


More information about the ghc-tickets mailing list