* stack overflow in structural comparison
@ 2005-01-19 8:10 Michael Levin
2005-01-19 9:36 ` [Caml-list] " Alex Baretta
0 siblings, 1 reply; 2+ messages in thread
From: Michael Levin @ 2005-01-19 8:10 UTC (permalink / raw)
To: caml-list
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
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: [Caml-list] stack overflow in structural comparison
2005-01-19 8:10 stack overflow in structural comparison Michael Levin
@ 2005-01-19 9:36 ` Alex Baretta
0 siblings, 0 replies; 2+ messages in thread
From: Alex Baretta @ 2005-01-19 9:36 UTC (permalink / raw)
To: Michael Levin; +Cc: caml-list
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/>
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2005-01-19 9:36 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2005-01-19 8:10 stack overflow in structural comparison Michael Levin
2005-01-19 9:36 ` [Caml-list] " Alex Baretta
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox