> However we don't really need to discuss this anyway, since I don't > think either runAtomically or atomicallyModifyIORef need to be in > the FFI standard. I'm quite happy to leave this open. As usual, I disagree. I think the FFI spec would be incomplete if it provided Haskell finalizers but no mechanism to write them safely. -- Alastair