Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / typecheck / should_fail / CustomTypeErrors04.hs
1 {-# LANGUAGE DataKinds, TypeFamilies, UndecidableInstances #-}
2 {-# LANGUAGE UndecidableInstances #-}
3
4 -- The "bad case" in #11391
5 module CustomTypeErrors04 where
6
7 import Data.Kind
8 import GHC.TypeLits (TypeError, ErrorMessage(..))
9
10 type family Resolve (t :: Type -> Type) :: Type -> Type where
11 Resolve _ = TypeError (Text "ERROR")
12
13 testNOTOK1 :: Resolve [] Int
14 testNOTOK1 = ()