[Haskell-cafe] Monad Transformer Space Leak

[Clark Gaebel]

More interestingly, the problem goes away if I enable profiling. That's
kind of worrisome.

  - Clark

On Monday, April 22, 2013, Clark Gaebel wrote:

> Hi everyone!
>
> For some reason, this leaks thunks:
>
> module Main where
>
> import Control.Monad
> import Control.Monad.MC -- from monte-carlo
> import Control.Monad.ST.Strict
>
> go :: Int -> MCT (ST s) ()
> go k = replicateM_ k (return ())
>
> main = print $ runST $ evalMCT (go 100000000) rng
>     where
>         rng = mt19937 0
>
> while this does not:
>
> module Main where
>
> import Control.Monad
> import Control.Monad.MC
>
> go :: Int -> MC ()
> go k = replicateM_ k (return ())
>
> main = print $ evalMC (go 100000000) rng
>     where
>         rng = mt19937 0
>
> Can anyone help me figure out what's going on here?
>
> Thanks,
>   - Clark
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20130422/a36cd0ca/attachment.htm>