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 |