[project @ 2001-09-11 09:02:43 by simonpj]
authorsimonpj <unknown>
Tue, 11 Sep 2001 09:02:43 +0000 (09:02 +0000)
committersimonpj <unknown>
Tue, 11 Sep 2001 09:02:43 +0000 (09:02 +0000)
--------------------------
Strictness of blockAsynch
--------------------------

MERGE WITH STABLE BRANCH

If we're going to supply strictness info for blockAsynchExceptions#,
it should match its arity (as other State# transformers do).

ghc/compiler/prelude/primops.txt.pp

index a30eb73..1484732 100644 (file)
@@ -1,5 +1,5 @@
 -----------------------------------------------------------------------
--- $Id: primops.txt.pp,v 1.5 2001/08/31 15:28:49 apt Exp $
+-- $Id: primops.txt.pp,v 1.6 2001/09/11 09:02:43 simonpj Exp $
 --
 -- Primitive Operations
 --
@@ -1262,14 +1262,14 @@ primop  BlockAsyncExceptionsOp "blockAsyncExceptions#" GenPrimOp
         (State# RealWorld -> (# State# RealWorld, a #))
      -> (State# RealWorld -> (# State# RealWorld, a #))
    with
-   strictness  = { \ arity -> StrictnessInfo [wwLazy] False }
+   strictness  = { \ arity -> StrictnessInfo [wwLazy, wwPrim] False }
    out_of_line = True
 
 primop  UnblockAsyncExceptionsOp "unblockAsyncExceptions#" GenPrimOp
         (State# RealWorld -> (# State# RealWorld, a #))
      -> (State# RealWorld -> (# State# RealWorld, a #))
    with
-   strictness  = { \ arity -> StrictnessInfo [wwLazy] False }
+   strictness  = { \ arity -> StrictnessInfo [wwLazy, wwPrim] False }
    out_of_line = True
 
 ------------------------------------------------------------------------