Test #13435 in typecheck/should_run/T13435
[ghc.git] / testsuite / tests / typecheck / should_run / T13435.hs
1 {-# Language FlexibleInstances, TypeFamilies, TypeInType, MagicHash #-}
2
3 module Main where
4
5 import Data.Kind
6 import GHC.Exts
7
8 class Shw (a :: TYPE rep) where
9 shw :: a -> String
10
11 instance Int# ~ a => Shw (a :: TYPE IntRep) where
12 shw a = "I#" ++ show (I# a)
13
14 main = putStrLn (shw 3#)