Global variables

[Yitzchak Gale]

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