regression/array3.sml

   1 open Array
   2
   3 val a = array (1000, 0)
   4
   5 fun g i = (update (a, i, i); g (i + 1))
   6
   7 fun f i =
   8    if i = 100
   9       then g i
  10    else (update (a, i, 0); f (i + 1))
  11
  12 val _ = f 0 handle Subscript => ()
  13
  14 val _ = sub (a, 0) + 1