X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=GHC%2FStable.lhs;h=8ded1e470897dff179403edb6cfaf6da46c7efa1;hb=3e0d5857cc3fd3316b7bfa41b3afe697a11a794d;hp=75506f864be162f2a0622774b69fbaaac90bc7dd;hpb=368070d8c0f06f9f24dbf09df81930e88164869a;p=ghc-base.git diff --git a/GHC/Stable.lhs b/GHC/Stable.lhs index 75506f8..8ded1e4 100644 --- a/GHC/Stable.lhs +++ b/GHC/Stable.lhs @@ -65,9 +65,9 @@ deRefStablePtr (StablePtr sp) = IO $ \s -> deRefStablePtr# sp s -- value. Afterwards, if the stable pointer is passed to -- 'deRefStablePtr' or 'freeStablePtr', the behaviour is -- undefined. However, the stable pointer may still be passed to --- 'castStablePtrToPtr', but the @Ptr ()@ value returned by --- 'castStablePtrToPtr', in this case, is undefined (in --- particular, it may be 'Ptr.nullPtr'). Nevertheless, the call +-- 'castStablePtrToPtr', but the @'Foreign.Ptr.Ptr' ()@ value returned +-- by 'castStablePtrToPtr', in this case, is undefined (in particular, +-- it may be 'Foreign.Ptr.nullPtr'). Nevertheless, the call -- to 'castStablePtrToPtr' is guaranteed not to diverge. -- foreign import ccall unsafe freeStablePtr :: StablePtr a -> IO ()