Re: [Haskell-cafe] Monad Transformer Space Leak

22 Apr 2013


      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