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