--- /dev/null
+import "Prelude"\r
+\r
+@private\r
+repeat :: Integer -> (() -> <e> a) -> <e> ()\r
+repeat n proc = \r
+ if n > 0 then do\r
+ proc ()\r
+ repeat (n-1) proc\r
+ else () \r
+\r
+main = do\r
+ a = ref 1 \r
+ repeat 3 (\() -> a := 2)\r
+ getRef a\r
+--\r
+2
\ No newline at end of file