Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / indexed-types / should_compile / T15122.hs
1 {-# LANGUAGE GADTs #-}
2 {-# LANGUAGE TypeFamilies #-}
3 {-# LANGUAGE TypeInType #-}
4 module T15122 where
5
6 import Data.Kind
7 import Data.Proxy
8
9 data IsStar (a :: k) where
10 IsStar :: IsStar (a :: Type)
11
12 type family F (a :: k) :: k
13
14 foo :: (F a ~ F b) => IsStar a -> Proxy b
15 -> Proxy (F a) -> Proxy (F b)
16 foo IsStar _ p = p