Wolfgang Jeltsch <[EMAIL PROTECTED]> writes:

> The problem is that I cannot find an exact specification about what strict 
> and 
> lazy means in conjunction with state threads.

This example shows a difference:

import Control.Monad.ST.Strict          -- try Lazy instead of Strict

example :: (forall s . ST s Int)
example = do
  undefined
  return 0

main = print (runST example)
_______________________________________________
Haskell mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell

Reply via email to