re new SML/NJ
Mon, 13 Aug 2001 13:59:19 -0700 (PDT)
> > You are right. Although I thought that there was a no-threads hack to
> > avoid inserting these limit checks.
> There is.
Hmm. This is my input program:
fun test (n, x)
= if n = 0
else test (n - 1, x + Math.cos x)
val x = test (10, 0.0)
val _ = print (Real.toString x)
val _ = print "\n"
Here is the assembly I get using the 20010806 release:
faddp %st, %st(1)
> I vaguely recall some bug from a while ago in Program.hasPrim, which is used in
> limit-check.fun. Maybe that didn't get propagated to your version of the
Program.hasPrim is in the cps tree structure, so I'm up to date on all