Postfix operator precedence

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 $).

Trac metadata

Trac field	Value
Version	8.0.2
Type	FeatureRequest
TypeOfFailure	OtherFailure
Priority	normal
Resolution	Unresolved
Component	Compiler (Parser)
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture

changed weight to 5

added Tfeature request Trac import parser labels

closed

Thanks for posting. Changes to the language supported by GHC should go through the ghc-proposals process -- even for small changes like this. Until the proposal is accepted, I will label this ticket as "wontfix".

Trac metadata

Trac field	Value
Resolution	Unresolved → ResolvedWon'tFix

added Pnormal label