blob: 77071d55540f2205a479417b8bd07a2ee98ede63 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
{-# LANGUAGE MagicHash, TypeFamilies #-}
module T7643 where
import GHC.Exts
type family T
type instance T = RealWorld
foo :: () -> State# T
foo _ = unsafeCoerce# realWorld#
|