Pervasives.compare currently returns an int. Intuitively it would be 
more appropriate for it to return a union type such as the following.

type comparison_result = Less | Equals | Greater

What are the reasons behind the present design choice?

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/>