9 Jun
2011
9 Jun
'11
12:32 p.m.
On Thursday 09 June 2011, 18:09:44, Yves Parès wrote:
Is it not:
noLeak :: State Int () noLeak = do
a <- get
*>* * let a' = (a + 1)
a' `seq` put a'* noLeak
??
Alternatively, noLeak = do a <- get a `seq` put (a+1) noLeak or noLeak = do a <- get put $! a+1 noLeak should eliminate the leak too.