benchmark/tests/tak.sml

   1 fun tak (x,y,z) =
   2    if not (y < x)
   3       then z
   4    else tak (tak (x - 1, y, z),
   5              tak (y - 1, z, x),
   6              tak (z - 1, x, y))
   7
   8 val rec f =
   9    fn 0 => ()
  10     | n => (tak (33,22,11); f (n-1))
  11
  12 structure Main =
  13    struct
  14       val doit = f
  15    end