Tweaks and typos in manual, note refs, comments
[ghc.git] / testsuite / tests / typecheck / should_fail / CustomTypeErrors05.hs
1 {-# LANGUAGE TypeInType, TypeFamilies, UndecidableInstances #-}
2 {-# LANGUAGE UndecidableInstances #-}
3
4 -- The "tricky case" in #11391
5 module CustomTypeErrors05 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 testNOTOK2 :: Resolve [] Int
14 testNOTOK2 = 1