testsuite/tests/typecheck/should_run/T11120.hs


1
2
3
4
5
6
7
8
9
10

{-# LANGUAGE TypeInType, MagicHash, DataKinds #-}
-- See also TypeOf.hs

import GHC.Prim
import Data.Typeable

data CharHash = CharHash Char#

main :: IO ()
main = print $ typeRep (Proxy :: Proxy 'CharHash)