Proposal: add new forms of unsafePerformIO and
ndmitchell at gmail.com
Thu Feb 14 08:41:31 EST 2008
(+1). I need this in Supero and Uniplate, its essential.
> The documentation for unsafeInlinePerformIO is a
> description of how it behaves in GHC. Can you
> describe the semantics in a compiler-independent
We don't want to describe the semantics, we probably want to describe
the minimum preconditions and postconditions. The GHC description
serves as a nice basis for that - since all other compilers probably
provide more guarantees.
More information about the Libraries