Incorrect code with complicated recursion

Brought to you by: dcjm

#13 Incorrect code with complicated recursion

Status: open

Owner: nobody

Labels: None

Priority: 5

Updated: 2012-12-12

Created: 2012-07-17

Creator: David Matthews

Private: No

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.

Discussion

David Matthews - 2012-07-17

YCombinator.ML

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Incorrect code with complicated recursion

Group

Searches

Help

#13 Incorrect code with complicated recursion

Discussion