X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Fprelude%2Fprimops.txt.pp;h=f5a98c353a726847f9aab3e2b61172059d75f26e;hb=ead424357937b23f30295608b467aacbc3a8a8bc;hp=13b4b6c97d351be39ba8369d9b2f6df2baffcdc0;hpb=0065d5ab628975892cea1ec7303f968c3338cbe1;p=ghc-hetmet.git

diff --git a/compiler/prelude/primops.txt.pp b/compiler/prelude/primops.txt.pp
index 13b4b6c..f5a98c3 100644
--- a/compiler/prelude/primops.txt.pp
+++ b/compiler/prelude/primops.txt.pp
@@ -1282,6 +1282,13 @@ primop  CatchSTMOp "catchSTM#" GenPrimOp
    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 #)
@@ -1670,6 +1677,16 @@ primop  NewBCOOp "newBCO#" GenPrimOp
    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.}