blob: 7d200faef69e70a6042fde46113db1162aa4e27b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
{-# LANGUAGE DataKinds, TypeFamilies, UndecidableInstances #-}
{-# LANGUAGE UndecidableInstances #-}
-- The "tricky case" in #11391
module CustomTypeErrors05 where
import Data.Kind
import GHC.TypeLits (TypeError, ErrorMessage(..))
type family Resolve (t :: Type -> Type) :: Type -> Type where
Resolve _ = TypeError (Text "ERROR")
testNOTOK2 :: Resolve [] Int
testNOTOK2 = 1
|
