regression/known-case0.sml

   1
   2 fun nlist 0 = 0::nil
   3   | nlist n = n::(nlist (n-1))
   4
   5 val rec last =
   6    fn nil => 0
   7     | x::nil => x
   8     | _ :: l => last l
   9
  10 val n = 1 + (last (nlist (10)))
  11
  12 val _ = print ((Int.toString n) ^ "\n")