Remove the type-checking knot.
[ghc.git] / testsuite / tests / polykinds / T10742.hs
1 {-# LANGUAGE GADTs #-}
2 {-# LANGUAGE DataKinds #-}
3 {-# LANGUAGE TypeOperators #-}
4 {-# OPTIONS_GHC -fno-warn-redundant-constraints #-}
5
6 module T10742 where
7
8 import GHC.TypeLits
9
10 data T a where MkT :: T Int
11
12 test :: ((x <=? y) ~ 'True, (y <=? z) ~ 'True)
13 => proxy x y z -> ()
14 test _ = case MkT of MkT -> ()