+++ /dev/null
-import "Prelude"\r
-\r
-inc :: Ref Integer -> <Proc> Integer\r
-inc r = do \r
- v = getRef r\r
- newV = v+1\r
- r := newV\r
- newV\r
-\r
-main = do\r
- r = ref 0\r
- l = map (\_ -> inc r) [1..4]\r
- r := 4 // Map must be executed before this statement\r
- foldl (+) 0 l\r
---\r
-10\r