testsuite/tests/ghc-regress/typecheck/should_compile/tc092.hs


1
2
3
4
5
6
7
8
9
10
11

{-# LANGUAGE Rank2Types #-}

module ShouldSucceed where

data Empty q			=  Empty (Ord a => q a)
q				:: (Ord a) => [a]
q				=  []
e0, e1, e2			:: Empty []
e0 				=  Empty []
e1 				=  Empty ([] :: (Ord a) => [a])
e2				=  Empty q