[Haskell-cafe] Top-level TVars

[Joel Reymont]

> On Wed, Dec 14, 2005 at 02:17:17PM -0000, Simon Marlow wrote:
>> Suppose you create two top-level IORefs with the same type, like  
>> this:
>>
>>   var1 = unsafePerformIO $ newIORef 0
>>   var2 = unsafePerformIO $ newIORef 0
>>
>> GHC's CSE optimisation will common these up - after all, it's the  
>> same
>> expression, so it must yield the same result, right?

Do these have to be within the same module for the CSE optimization  
to kick in?

--
http://wagerlabs.com/