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
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
