stack overflow in structural comparison

stack overflow in structural comparison

[Michael Levin]

Hi,

I've recently upgraded from ocaml 3.06 to ocaml 3.08 and that
caused a frustrating Out_of_memory exception in my Xtatic
compiler. I traced it by turning on the full verbose mode in the
GC and getting the message "stack overflow in structural
comparison" right before the exception is thrown. 

The line that causes the exception contains "sts1=sts2" where
sts1 and sts2 are lists of values of a complicated cyclic data
type. I fixed the problem by replacing that comparison by a call
to an equivalent hand-written predicate.

The original comparison operator though worked fine in ocaml
3.06. So my question is what changed from 3.06 to 3.08? Is that a
known bug/feature?

Thank you,

Michael

Re: [Caml-list] stack overflow in structural comparison

[Alex Baretta]

Michael Levin wrote:
> Hi,

> The original comparison operator though worked fine in ocaml
> 3.06. So my question is what changed from 3.06 to 3.08? Is that a
> known bug/feature?

This is due to a semantic bugfix with respect to the preceding 
specification of the (=) operator. This has been discussed extensively 
on the list.

Alex

-- 
*********************************************************************
http://www.barettadeit.com/
Baretta DE&IT
A division of Baretta SRL

tel. +39 02 370 111 55
fax. +39 02 370 111 54

Our technology:

The Application System/Xcaml (AS/Xcaml)
<http://www.asxcaml.org/>

The FreerP Project
<http://www.freerp.org/>