Add -fwarn-context-quantification (#4426)
[ghc.git] / testsuite / tests / typecheck / should_compile / tc092.hs
1 {-# LANGUAGE RankNTypes #-}
2
3 module ShouldSucceed where
4
5 data Empty q = Empty (forall a. Ord a => q a)
6 q :: (Ord a) => [a]
7 q = []
8 e0, e1, e2 :: Empty []
9 e0 = Empty []
10 e1 = Empty ([] :: (Ord a) => [a])
11 e2 = Empty q