diff options
author | Alexis King <lexi.lambda@gmail.com> | 2022-09-15 15:28:58 +0200 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-09-16 14:01:11 -0400 |
commit | df35d99465d1037b31cbd05aa3380fce6031af73 (patch) | |
tree | d62fb98b008d4189866897f82b72cc06ee4f959f /compiler/GHC/Builtin/primops.txt.pp | |
parent | 616afde3e2c6b733c8a44205a140ec8586853d3c (diff) | |
download | haskell-df35d99465d1037b31cbd05aa3380fce6031af73.tar.gz |
Add links to the continuations haddocks in the docs for each primop
fixes #22176
Diffstat (limited to 'compiler/GHC/Builtin/primops.txt.pp')
-rw-r--r-- | compiler/GHC/Builtin/primops.txt.pp | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/compiler/GHC/Builtin/primops.txt.pp b/compiler/GHC/Builtin/primops.txt.pp index 3a76c33819..9e58d5b7eb 100644 --- a/compiler/GHC/Builtin/primops.txt.pp +++ b/compiler/GHC/Builtin/primops.txt.pp @@ -2634,7 +2634,9 @@ primop MaskStatus "getMaskingState#" GenPrimOp ------------------------------------------------------------------------ section "Continuations" - { These operations provide access to first-class delimited continuations, + { #continuations# + + These operations provide access to first-class delimited continuations, which allow a computation to access and manipulate portions of its /current continuation/. Operationally, they are implemented by direct manipulation of the RTS call stack, which may provide significant @@ -2791,9 +2793,11 @@ section "Continuations" ------------------------------------------------------------------------ primtype PromptTag# a + { See "GHC.Prim#continuations". } primop NewPromptTagOp "newPromptTag#" GenPrimOp State# RealWorld -> (# State# RealWorld, PromptTag# a #) + { See "GHC.Prim#continuations". } with out_of_line = True has_side_effects = True @@ -2802,6 +2806,7 @@ primop PromptOp "prompt#" GenPrimOp PromptTag# a -> (State# RealWorld -> (# State# RealWorld, a #)) -> State# RealWorld -> (# State# RealWorld, a #) + { See "GHC.Prim#continuations". } with strictness = { \ _arity -> mkClosedDmdSig [topDmd, strictOnceApply1Dmd, topDmd] topDiv } out_of_line = True @@ -2813,6 +2818,7 @@ primop Control0Op "control0#" GenPrimOp -> State# RealWorld -> (# State# RealWorld, a #)) -> State# RealWorld -> (# State# RealWorld, a #)) -> State# RealWorld -> (# State# RealWorld, p #) + { See "GHC.Prim#continuations". } with strictness = { \ _arity -> mkClosedDmdSig [topDmd, lazyApply2Dmd, topDmd] topDiv } out_of_line = True |