benchmark/tests/fib.sml

   1 val rec fib =
   2    fn 0 => 0
   3     | 1 => 1
   4     | n => fib (n - 1) + fib (n - 2)
   5
   6 structure Main =
   7    struct
   8       fun doit n =
   9          if n = 0
  10             then ()
  11          else let
  12                  val _ = if 165580141 <> fib 41
  13                             then raise Fail "bug"
  14                          else ()
  15               in
  16                  doit (n - 1)
  17               end
  18    end