ghc/tests/typecheck/should_compile/tc092.hs

   1 module ShouldSucceed where
   2
   3 data Empty q                    =  Empty (Ord a => q a)
   4 q                               :: (Ord a) => [a]
   5 q                               =  []
   6 e0, e1, e2                      :: Empty []
   7 e0                              =  Empty []
   8 e1                              =  Empty ([] :: (Ord a) => [a])
   9 e2                              =  Empty q