ghc-exactprint-1.14.0.0: tests/examples/pre-ghc910/T9858d.hs
{-# LANGUAGE DataKinds #-}
module Main where
import Data.Typeable
data A = A
main = print $ typeRep (Proxy :: Proxy A) == typeRep (Proxy :: Proxy 'A)
{-# LANGUAGE DataKinds #-}
module Main where
import Data.Typeable
data A = A
main = print $ typeRep (Proxy :: Proxy A) == typeRep (Proxy :: Proxy 'A)