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

diff --git a/compiler/prelude/primops.txt.pp b/compiler/prelude/primops.txt.pp
index 13b4b6c..ef5dfc9 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 #)