14 Dec
2005
14 Dec
'05
3:38 p.m.
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/