ghc-exactprint-1.14.0.0: tests/examples/pre-ghc910/CustomTypeErrors03.hs
{-# LANGUAGE DataKinds #-}
module T3 where
import GHC.TypeLits
f :: TypeError (Text "This is a type error")
f = undefined
{-# LANGUAGE DataKinds #-}
module T3 where
import GHC.TypeLits
f :: TypeError (Text "This is a type error")
f = undefined