Ticket #7156: NonGADT.hs

File NonGADT.hs, 137 bytes (added by ryani, 20 months ago)

File that fails to compile

Line 
1{-# LANGUAGE TypeFamilies, ExistentialQuantification #-}
2module NonGADT where
3
4data T a = (a ~ ()) => T
5
6f :: T a -> a
7f T = ()
8