[project @ 2000-02-01 16:02:12 by sewardj]
authorsewardj <unknown>
Tue, 1 Feb 2000 16:02:12 +0000 (16:02 +0000)
committersewardj <unknown>
Tue, 1 Feb 2000 16:02:12 +0000 (16:02 +0000)
primOpStrictness(CatchOp): catch# isn't strict in its first arg.

ghc/compiler/prelude/PrimOp.lhs

index 0c7461e..305c6f7 100644 (file)
@@ -933,7 +933,7 @@ primOpStrictness WriteMutVarOp        = ([wwPrim, wwLazy, wwPrim], False)
 
 primOpStrictness PutMVarOp       = ([wwPrim, wwLazy, wwPrim], False)
 
-primOpStrictness CatchOp         = ([wwStrict, wwLazy, wwPrim], False)
+primOpStrictness CatchOp         = ([wwLazy, wwLazy, wwPrim], False)
 primOpStrictness RaiseOp         = ([wwLazy], True)    -- NB: True => result is bottom
 primOpStrictness BlockAsyncExceptionsOp    = ([wwLazy], False)
 primOpStrictness UnblockAsyncExceptionsOp  = ([wwLazy], False)