Ticket #3297: crash.hs

File crash.hs, 263 bytes (added by hesselink, 6 years ago)

Code that causes compiler panic

Line 
1{-# LANGUAGE TypeFamilies
2           , KindSignatures
3           , RankNTypes
4           #-}
5
6type family PF a :: (* -> *) -> * -> *
7
8class Ix a where
9    type Es a :: * -> *
10    from  :: a          -> PF a (Es a) a
11
12crash :: (forall n. Es a n) -> a
13crash = from