14 Feb
2008
14 Feb
'08
8:41 a.m.
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