Skip to content

Documentation of atomicModifyMutVar# does not show properly

The actual documentation in the source is:

-- | Modify the contents of a @MutVar\#@. Note that this isn\'t strictly
--      speaking the correct type for this function, it should really be
--      @MutVar# s a -> (a -> (a,b)) -> State# s -> (# State# s, b #)@, however
--      we don\'t know about pairs here. 

It actually shows as this in the docs, note the incomplete signature:

Modify the contents of a MutVar#. Note that this isn't strictly speaking the correct
type for this function, it should really be MutVar s -> ( s, b #), however we 
don't know about pairs here.
Trac metadata
Trac field Value
Version 8.4.3
Type Bug
TypeOfFailure OtherFailure
Priority normal
Resolution Unresolved
Component libraries (other)
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information