Foreign.StablePtr: nullPtr double-free questions

Good night everyone, I have two questions with regards to some details of the Foreign.StablePtr module. [1] 1) The documentation suggests, but does not explicitly state, that castStablePtrToPtr `liftM` newStablePtr x will never yield a nullPtr. Is this guaranteed to be the case or not? It

Re: Foreign.StablePtr: nullPtr double-free questions.

Excerpts from Remi Turk's message of Fri Mar 08 18:28:56 -0800 2013: Good night everyone, I have two questions with regards to some details of the Foreign.StablePtr module. [1] 1) The documentation suggests, but does not explicitly state, that castStablePtrToPtr `liftM` newStablePtr x