From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <tom.primozic@gmail.com>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: *
X-Spam-Status: No, score=1.5 required=5.0 tests=AWL,DNS_FROM_RFC_ABUSE,
	HTML_MESSAGE,SPF_NEUTRAL autolearn=disabled version=3.1.3
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38])
	by yquem.inria.fr (Postfix) with ESMTP id 6A82EBC50
	for <caml-list@yquem.inria.fr>; Tue,  3 Oct 2006 10:05:06 +0200 (CEST)
Received: from nf-out-0910.google.com (nf-out-0910.google.com [64.233.182.187])
	by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id k93855Qa013309
	for <caml-list@yquem.inria.fr>; Tue, 3 Oct 2006 10:05:06 +0200
Received: by nf-out-0910.google.com with SMTP id g2so101018nfe
        for <caml-list@yquem.inria.fr>; Tue, 03 Oct 2006 01:05:03 -0700 (PDT)
DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws;
        s=beta; d=gmail.com;
        h=received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:references;
        b=R8XigCz1YWEXE96BY3EnqINB4PcDSUSY7sp9kR0tzh1QYqoDNOd01sIC+Xg4sQLmoV2b30tB1d242FbkKswy7Fwy1MCPBRH6vnBvm90Bxn71QUGnuUxdct+9bHvYJeIPWK+odJjxjsgf/u9TTXAO/topfg4wBqmBwaF9WXBP3nI=
Received: by 10.49.55.13 with SMTP id h13mr467011nfk;
        Tue, 03 Oct 2006 01:05:03 -0700 (PDT)
Received: by 10.49.32.12 with HTTP; Tue, 3 Oct 2006 01:05:03 -0700 (PDT)
Message-ID: <c1490a380610030105q11089f20ie54f01718fe113a9@mail.gmail.com>
Date: Tue, 3 Oct 2006 10:05:03 +0200
From: Tom <tom.primozic@gmail.com>
To: "Jon Harrop" <jon@ffconsultancy.com>
Subject: Re: [Caml-list] Feature proposal: improved compare
Cc: caml-list@yquem.inria.fr
In-Reply-To: <200610022212.40035.jon@ffconsultancy.com>
MIME-Version: 1.0
Content-Type: multipart/alternative; 
	boundary="----=_Part_64006_14317053.1159862703620"
References: <c1490a380610021336j380f9075u5544da1698295cf@mail.gmail.com>
	 <200610022212.40035.jon@ffconsultancy.com>
X-j-chkmail-Score: MSGID : 452219B1.001 on discorde : j-chkmail score : X : 0/20 1
X-Miltered: at discorde with ID 452219B1.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)!
X-Spam: no; 0.00; ocaml's:01 pairs:01 pointers:01 pointer:01 heap:01 ocaml:01 byte-code:01 ocaml's:01 pairs:01 pointers:01 pointer:01 heap:01 ocaml:01 byte-code:01 caml-list:01 
X-Attachments: cset="UTF-8" cset="UTF-8" 

------=_Part_64006_14317053.1159862703620
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

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


The pointer used in total ordering is points outside the heap, into the
OCaml code (either machine code or byte-code), which, as far as I know, is
neither moved nor collected (although this would actually be a useful
feature, unloading modules...)

------=_Part_64006_14317053.1159862703620
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

<div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><br><br>I believe that won't work with OCaml's GC because it contains a copying<br>collector, obviating a total ordering over pairs of pointers.
</blockquote><div><br>The pointer used in total ordering is points  outside the heap, into the OCaml code (either machine code or byte-code), which, as far as I know, is neither moved nor collected (although this would actually be a useful feature, unloading modules...)
<br></div><br></div><br>

------=_Part_64006_14317053.1159862703620--