ghc-exactprint-0.5.3.1: tests/examples/ghc80/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