Maybe what should be in the wait list is the following:

Keep == as it is now

Revert = to its previous behavior: first check physical then structural

Add a new operator =. for floating-point-aware equality that works on
everything the way = works now.

Would not this make everyone happy?

Fernando

On Tue, Jan 30, 2007 at 09:30:01PM +0100, Gerd Stolpmann wrote:

> But
> 
> let equal x y = 
>   Pervasives.compare x y = 0
> 
> works!