ghc-exactprint-0.5.1.0: tests/examples/ghc8/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