Re: [Ocaml-lib-devel] some proposals

[Remi V. <van...@la...>]

"Nicolas Cannasse" <war...@fr...> writes:

>> Which means we're probably stuck with something like:
>>
>> let Int.compare x y = if (x < y) then -1 else if (x > y) then 1 else 0
>
> Uh !
> This time Brian you're using up to TWO times polymorphic comparison
> !

well, If it is rewrite as :

let compare (x : int) (y:int) = if (x < y) then -1 else if (x > y) then 1 else 0

then there is no use of the polymorphic comparison function

[...]


-- 
Rémi Vanicat
va...@la...
http://dept-info.labri.u-bordeaux.fr/~vanicat