diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2012-01-13 15:48:23 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2012-01-13 15:48:23 +0000 |
| commit | a30c2df58c319c99550c9c66827c1a984622866a (patch) | |
| tree | 17067693cf3681edad0a9deb4e3f1bdced7b5bdb | |
| parent | 1074c2da93cc89cd183375ae414a18dc536a7b5d (diff) | |
| download | haskell-a30c2df58c319c99550c9c66827c1a984622866a.tar.gz | |
Comments only
| -rw-r--r-- | compiler/prelude/primops.txt.pp | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/compiler/prelude/primops.txt.pp b/compiler/prelude/primops.txt.pp index 5047b3cb63..48dd76873a 100644 --- a/compiler/prelude/primops.txt.pp +++ b/compiler/prelude/primops.txt.pp @@ -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 #) |