rewrite arrow form in type signature sometimes leads to exception, sometimes not
Seems like the arrow form in signatures should either be restricted further or made more flexible.
> let a = id :: ((->) a) a
> a 2
*** Exception: expectJust cpeBody:collect_args
> :t a
a :: (->) a a
> let a = id :: (->) a a
> a 2
2
> :t a
a :: a -> a
Trac metadata
Trac field | Value |
---|---|
Version | 7.6.3 |
Type | Bug |
TypeOfFailure | OtherFailure |
Priority | low |
Resolution | Unresolved |
Component | GHCi |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | hvr |
Operating system | |
Architecture |