Version française
Home     About     Download     Resources     Contact us    
Browse thread
stack overflow in structural comparison
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Alex Baretta <alex@b...>
Subject: Re: [Caml-list] stack overflow in structural comparison
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/>