Proposal: add new forms of unsafePerformIO and unsafeInterleaveIO

[Neil Mitchell]

Hi

(+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.

Thanks

Neil