Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
Feature proposal: improved compare
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2006-10-02 (22:52)
From: Jon Harrop <jon@f...>
Subject: Re: [Caml-list] Feature proposal: improved compare
On Monday 02 October 2006 21:36, Tom wrote:
> I believe the compare function from standard library should be extended to
> allow total ordering of functional types (= closures). I suggest something
> like...

I believe that won't work with OCaml's GC because it contains a copying 
collector, obviating a total ordering over pairs of pointers.

Dr Jon D Harrop, Flying Frog Consultancy Ltd.
Objective CAML for Scientists