import PrimOp ( PrimOp(..) )
import TysPrim ( realWorldStatePrimTy, intPrimTy,
byteArrayPrimTyCon, mutableByteArrayPrimTyCon,
import PrimOp ( PrimOp(..) )
import TysPrim ( realWorldStatePrimTy, intPrimTy,
byteArrayPrimTyCon, mutableByteArrayPrimTyCon,
- | Just(rep_ty, co) <- splitRecNewTypeCo_maybe arg_ty
- = unboxArg (mkCoerce (mkSymCoercion co) arg)
+ | Just(rep_ty, co) <- splitNewTypeRepCo_maybe arg_ty
+ = unboxArg (mkCoerce co arg)
-- The type might contain foralls (eg. for dummy type arguments,
-- referring to 'Ptr a' is legal).
-- The type might contain foralls (eg. for dummy type arguments,
-- referring to 'Ptr a' is legal).