Fix #11287.
[ghc.git] / testsuite / tests / th / TH_TyInstWhere1.hs
1 {-# LANGUAGE PolyKinds, DataKinds, TemplateHaskell, TypeFamilies #-}
2
3 module TH_TyInstWhere1 where
4
5 $([d| type family F (a :: k) (b :: k) :: Bool where
6 F a a = True
7 F a b = False |])
8
9 data Proxy a = P
10
11 f :: Proxy True -> Proxy (F Int Int)
12 f x = x
13
14 g :: Proxy False -> Proxy (F Int Bool)
15 g x = x