testsuite/tests/typecheck/should_compile/T12850.hs


1
2
3
4
5
6
7
8
9
10

{-# LANGUAGE ExplicitForAll, MagicHash, KindSignatures #-}
module T12850 where

import GHC.Types (RuntimeRep(..), TYPE)

f :: forall (x :: TYPE 'IntRep). x -> x
f x = x

g = ()
    where h = f 0#