Proposal: add new forms of unsafePerformIO and unsafeInterleaveIO

Neil Mitchell ndmitchell at
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
>  way?

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 mailing list