Hi Lars, Thanks for reporting that. I did actually receive your previous email but it took a while for me to look at it. It definitely is a bug in Poly/ML and I have an idea where the problem is but I haven't looked at it in enough detail to see how to fix it. A work-around is to reduce the maximum inline function size using: PolyML.Compiler.maxInlineSize := 20; Your example then works fine.
Best regards, David
On 24/11/2011 13:13, Lars-Henrik Eriksson wrote:
Hi,
I have an implementation of the Y which crashes Poly/ML. Take the program below and evaluate "fact n" with n>3.
I've tried it on both x86 and SPARC Solaris systems with Poly/ML 5.3, as well as on a (x86) MacOSX system with Poly/ML 5.4.1.
The program works in both Moscow ML and SMLNJ, so I'm pretty sure it is correct SML.
Best regards,
Lars-Henrik Eriksson, PhD, Senior Lecturer