Ticket #5425: GHCCrash.hs

File GHCCrash.hs, 124 bytes (added by dpmulligan, 4 years ago)

minimum file necessary to reproduce bug

Line 
1-- load into ghci
2
3"λa: (Type[0] → (Type[0] → Type[0])).\
4 λb: (Type[0]  Type[0]). λc: Type[0].\
5   ((a c)(b c))"