RealWorld

Simon Peyton-Jones simonpj@microsoft.com
Fri, 5 Sep 2003 14:54:55 +0100


Would be fine with me.

| -----Original Message-----
| From: libraries-admin@haskell.org [mailto:libraries-admin@haskell.org]
On Behalf Of Ross Paterson
| Sent: 05 September 2003 11:08
| To: libraries@haskell.org
| Subject: RealWorld
|=20
| Now that RealWorld, formerly an implementation trick inside GHC, has
| become part of the public interface:
|=20
| 	stToIO :: ST RealWorld a -> IO a
|=20
| (to make stToIO sound), I think it needs a better name.  The IO monad
| does not in fact give you exclusive access to the world, but to a
| region of the heap separate from those used by invocations of runST.
| (That's not all IO does, of course, but it's the relevant part for
| stToIO.)  I propose IORegion.
| _______________________________________________
| Libraries mailing list
| Libraries@haskell.org
| http://www.haskell.org/mailman/listinfo/libraries