Type application for infix
1 + @Int 10
is a parse error, I would like it to mean the same as
(+) @Int 1 10
Thoughts?
Also
>>> pure `foldMap` @Maybe @[_] Just 'a'
"a"
>>> foldMap @Maybe @[_] pure (Just 'a')
"a"
Trac metadata
Trac field | Value |
---|---|
Version | 8.0.1 |
Type | FeatureRequest |
TypeOfFailure | OtherFailure |
Priority | lowest |
Resolution | Unresolved |
Component | Compiler (Parser) |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | |
Operating system | |
Architecture |