[Haskell-cafe] Control.Monad.State.Strict, mdo and let

28 May 2007

      Hi,

I stumbled at some interaction of Control.Monad.State.Strict, mdo and let I do
not understand. The following program:

{-# OPTIONS_GHC -fglasgow-exts #-}
module Main where
import Control.Monad.State.Strict

thenumber :: Float
thenumber = flip execState 1.3 $ mdo
    c <- donothing []          
    let donothing x = return x
    return ()

main = print thenumber

Says (in GHC 6.6.1):

Stack space overflow: current size 8388608 bytes.
Use `+RTS -Ksize' to increase it.

Why is this so?

-- 
Gracjan

[Haskell-cafe] Control.Monad.State.Strict, mdo and let

Gracjan Polak