David Matthews
-
2012-07-17
Incorrect code with complicated recursion
Brought to you by:
dcjm
The following bug was submitted by Lars-Henrik Eriksson.
The ML program below crashes the Poly/ML system when you evaluate "fact n" with n>3. The program defines the Y combinator in ML and uses it to define the factorial function.
I've tried it on both x86 and SPARC Solaris systems with Poly/ML 5.3, as well as on a (x86) MacOS system with Poly/ML 5.4.1.