blob: 12dc5e279124aaf02398eb17d2de79f0f49a3da2 (
plain)
1
2
3
4
5
6
7
8
9
10
|
{-# LANGUAGE MagicHash, DataKinds #-}
-- See also TypeOf.hs
import GHC.Exts
import Data.Typeable
data CharHash = CharHash Char#
main :: IO ()
main = print $ typeRep (Proxy :: Proxy 'CharHash)
|