diff options
| author | tharris@microsoft.com <unknown> | 2006-10-07 12:29:07 +0000 |
|---|---|---|
| committer | tharris@microsoft.com <unknown> | 2006-10-07 12:29:07 +0000 |
| commit | 9cef40bd4dd2536c7a370a1a9b78461c152805cc (patch) | |
| tree | 7a9657ce6af6880cc73775ddeeaccab4cecb7e12 /compiler/prelude/primops.txt.pp | |
| parent | 87c36991c22f208623c96506c64c6c163361e45b (diff) | |
| download | haskell-9cef40bd4dd2536c7a370a1a9b78461c152805cc.tar.gz | |
STM invariants
Diffstat (limited to 'compiler/prelude/primops.txt.pp')
| -rw-r--r-- | compiler/prelude/primops.txt.pp | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/compiler/prelude/primops.txt.pp b/compiler/prelude/primops.txt.pp index 13b4b6c97d..ef5dfc9997 100644 --- a/compiler/prelude/primops.txt.pp +++ b/compiler/prelude/primops.txt.pp @@ -1282,6 +1282,13 @@ primop CatchSTMOp "catchSTM#" GenPrimOp out_of_line = True has_side_effects = True +primop Check "check#" GenPrimOp + (State# RealWorld -> (# State# RealWorld, a #) ) + -> (State# RealWorld -> (# State# RealWorld, () #) ) + with + out_of_line = True + has_side_effects = True + primop NewTVarOp "newTVar#" GenPrimOp a -> State# s -> (# State# s, TVar# s a #) |