Commit 08e02e4a authored by sewardj's avatar sewardj
Browse files

[project @ 2000-02-01 16:02:12 by sewardj]

primOpStrictness(CatchOp): catch# isn't strict in its first arg.
parent 4019b838
......@@ -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)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment