You can't. CSE (common subexpression elimination) will replace any
occurances of 'newState 0' in a function body with the same value.
In short: don't use upIO :)
If I'm wrong, someone will correct me. But expect a few "what are you
trying to do" email messages or people suggesting implicit paremeters or
monad wrappers (in fact, count this as the first of said emails).
- Hal
--
Hal Daume III
"Computer science is no more about computers | [EMAIL PROTECTED]
than astronomy is about telescopes." -Dijkstra | www.isi.edu/~hdaume
On Mon, 18 Nov 2002, Nicolas Oury wrote:
> I want to write something like
>
> type State a = IORef a
>
> newState :: a -> State a
> newState v = unsafePerformIO (newIORef v)
>
>
> But I don't want the compileer to inline this nor to inline any
> application of this.
>
> {#NOINLINE newState#}
>
> But how can I stop this function to be inlined when applied for example :
> ....
> let x = newState 0 in
> {... code where x is used twice ...}
>
> How to be sure that x isn't inlined and that all occurences of x are
> pointing to the same memory place ?
>
> Best regards,
> Nicolas Oury
>
> _______________________________________________
> Glasgow-haskell-users mailing list
> [EMAIL PROTECTED]
> http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
>
_______________________________________________
Glasgow-haskell-users mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
