Comments only
authorSimon Peyton Jones <simonpj@microsoft.com>
Fri, 13 Jan 2012 15:48:23 +0000 (15:48 +0000)
committerSimon Peyton Jones <simonpj@microsoft.com>
Fri, 13 Jan 2012 15:48:23 +0000 (15:48 +0000)
compiler/prelude/primops.txt.pp

index 5047b3c..48dd768 100644 (file)
@@ -1481,7 +1481,10 @@ primop  RaiseOp "raise#" GenPrimOp
 -- one kind of bottom into another, as it is allowed to do in pure code.
 --
 -- But we *do* want to know that it returns bottom after 
--- being applied to two arguments
+-- being applied to two arguments, so that this function is strict in y
+--     f x y | x>0      = raiseIO blah
+--           | y>0      = return 1
+--           | otherwise = return 2 
 
 primop  RaiseIOOp "raiseIO#" GenPrimOp
    a -> State# RealWorld -> (# State# RealWorld, b #)