ikarus/benchmarks.larceny/src/sumfp.sml

17 lines
368 B
Standard ML

(* SUM -- Compute sum of integers from 0 to 10000 *)
fun run () =
let fun loop (i, n) =
if i < 0.0
then n
else loop (i - 1.0, i + n)
in loop (10000.0, 0.0)
end
fun sumfp_benchmark (n) =
let open Real
in run_benchmark ("sumfp", n, fn () => run(), fn (x) => ==(x, 50005000.0))
end
fun main () = sumfp_benchmark (sumfp_iters)