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 -> aTrac 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 |