Global variables

Yitzchak Gale gale at sefer.org
Thu Feb 1 07:48:55 EST 2007


Hi Bulat,

You wrote:
> there is common proposal that i support. example of its use:
>
> i :: IORef Int
> i <- newIORef 1
>
> with a semantics equivalent to current use of usafePerformIO+INLINE in GHC

Are the details of this posted anywhere? Is there a ticket
for this?

I assume you mean that this will work for anything
in the IO monad, not just newIORef.

I really like this approach - it is much cleaner than
a pragma with unsafePerformIO.

Regards,
Yitz


More information about the Haskell-prime mailing list