regression/nested-loop.sml

   1 fun loop1 x =
   2    if x = 0
   3       then ()
   4    else (let
   5             fun loop2 y =
   6                if y = 0
   7                   then ()
   8                else loop2 (y - 1)
   9          in loop2 x
  10          end;
  11          loop1 (x - 1))
  12
  13 val _ = loop1 13