PostfixOperators doesn't work for types
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?
Trac metadata
| Trac field | Value |
|---|---|
| Version | 7.8.4 |
| Type | FeatureRequest |
| TypeOfFailure | OtherFailure |
| Priority | normal |
| Resolution | Unresolved |
| Component | Compiler |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | |
| Architecture |