out_of_line = True
has_side_effects = True
+primop Check "check#" GenPrimOp
+ (State# RealWorld -> (# State# RealWorld, a #) )
+ -> (State# RealWorld -> (# State# RealWorld, () #) )
+ with
+ out_of_line = True
+ has_side_effects = True
+
primop NewTVarOp "newTVar#" GenPrimOp
a
-> State# s -> (# State# s, TVar# s a #)
has_side_effects = True
out_of_line = True
+primop InfoPtrOp "infoPtr#" GenPrimOp
+ a -> Addr#
+ with
+ out_of_line = True
+
+primop ClosurePayloadOp "closurePayload#" GenPrimOp
+ a -> (# Array# b, ByteArr# #)
+ with
+ out_of_line = True
+
------------------------------------------------------------------------
section "Coercion"
{{\tt unsafeCoerce\# :: a -> b} is not a primop, but is defined in MkId.lhs.}