blob: 989457789b3e04f8b5a578a5d75510163d40a5a9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
{-# OPTIONS_GHC -fno-warn-redundant-constraints #-}
{-# LANGUAGE RankNTypes #-}
module ShouldSucceed where
data Empty q = Empty (forall a. Ord a => q a)
q :: (Ord a) => [a]
q = []
e0, e1, e2 :: Empty []
e0 = Empty []
e1 = Empty ([] :: (Ord a) => [a])
e2 = Empty q
|