rewrite arrow form in type signature sometimes leads to exception, sometimes not
|Reported by:||thaumkid||Owned by:|
|Operating System:||Windows||Architecture:||x86_64 (amd64)|
|Type of failure:||None/Unknown||Test Case:|
|Related Tickets:||Differential Rev(s):|
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
Note: See TracTickets for help on using tickets.