hadrian: Add support for bindist compressors other than Xz
[ghc.git] / testsuite / tests / typecheck / should_compile / T10432.hs
1 {-# LANGUAGE ExistentialQuantification, PolyKinds,
2 DataKinds, RankNTypes, GADTs, TypeOperators #-}
3 module T10432 where
4
5 import Data.Kind (Type)
6 import Data.Type.Equality
7
8 data WrappedType = forall a. WrapType a;
9
10 matchReflK :: forall ka kb (a :: ka) (b :: kb) (r :: Type).
11 ('WrapType a :~: 'WrapType b) -> (('WrapType a ~ 'WrapType b) => r) -> r;
12 matchReflK Refl r = r;
13
14 matchReflK2 :: forall ka kb (a :: ka) (b :: kb) (r :: Type).
15 ('WrapType a :~: 'WrapType b) -> r
16 matchReflK2 x = let foo :: ('WrapType a ~ 'WrapType b) => r
17 foo = undefined
18 in undefined