From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.5 required=5.0 tests=AWL,HTML_MESSAGE autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id E7533BBC1 for ; Wed, 23 Apr 2008 19:43:30 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjkBAJ4RD0hKfS4ec2dsb2JhbACCODKOaQEMAwQFCRSWS4UJ X-IronPort-AV: E=Sophos;i="4.25,700,1199660400"; d="scan'208";a="25406682" Received: from discorde.inria.fr ([192.93.2.38]) by mail4-smtp-sop.national.inria.fr with ESMTP; 23 Apr 2008 19:43:30 +0200 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m3NHhQbJ018619 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Wed, 23 Apr 2008 19:43:30 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjkBAJ4RD0hKfS4ec2dsb2JhbACCODKOaQEMAwQFCRSWS4UJ X-IronPort-AV: E=Sophos;i="4.25,700,1199660400"; d="scan'208";a="25406681" Received: from yw-out-2324.google.com ([74.125.46.30]) by mail4-smtp-sop.national.inria.fr with ESMTP; 23 Apr 2008 19:43:29 +0200 Received: by yw-out-2324.google.com with SMTP id 3so1284410ywj.27 for ; Wed, 23 Apr 2008 10:43:28 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:references; bh=GPGLyYHvSk5MJqZJ6YAZAiYTqbwceBRexW9KgRBpN40=; b=bUVRJxZvHosWPu037t2TEgyXDF3OhJ7umdbe9mvOqzCY3Ic76A6Y3O3nu38ezkVXDWndEObX6JBhapyM7oV5BblEvTODRSbllFkXY63jb6e9gDC9KgcFXoaBA5wSdq0M38IdF9HsifRb9xYtu6xe6bbnT/oZFdKteEE+IF2KE0M= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:references; b=jtG39tkbcwsiN8Vf3XIvG49HKohORHHRa2GHl7rCDv71vNbMGxpORk6xn8VHWzVZih/RFOOd99UxLbEuPEoTuYevmax3DPvxdxTo1Z015fEKraYOf7Wr4hwkIgS9DDtOL6kGiKHAMybJfxX/ghkaG7V4LYyXtYzZ8qfoa2X39Dc= Received: by 10.142.232.20 with SMTP id e20mr225143wfh.59.1208972598751; Wed, 23 Apr 2008 10:43:18 -0700 (PDT) Received: by 10.142.153.9 with HTTP; Wed, 23 Apr 2008 10:43:18 -0700 (PDT) Message-ID: Date: Wed, 23 Apr 2008 19:43:18 +0200 From: "Berke Durak" To: "Christophe Raffalli" Subject: Re: [Caml-list] How to make a value uncomparable Cc: caml-list In-Reply-To: <480F689A.6020101@univ-savoie.fr> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_Part_5456_33072285.1208972598737" References: <480F3E52.60300@exalead.com> <480F578F.9040403@univ-savoie.fr> <480F6082.6030901@exalead.com> <480F689A.6020101@univ-savoie.fr> X-Miltered: at discorde with ID 480F753E.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; berke:01 durak:01 berke:01 durak:01 christophe:01 raffalli:01 christophe:01 raffalli:01 univ-savoie:01 univ-savoie:01 equality:01 equality:01 caml-list:01 functions:01 functions:01 X-Attachments: cset="UTF-8" cset="UTF-8" ------=_Part_5456_33072285.1208972598737 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit Content-Disposition: inline 2008/4/23 Christophe Raffalli : > > > > > But there's one minor difference: physical equality works on Weak.t but > > not on > > functions. > > What do you mean: I don't know -- Berke Durak ------=_Part_5456_33072285.1208972598737 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: 7bit Content-Disposition: inline 2008/4/23 Christophe Raffalli <christophe.raffalli@univ-savoie.fr>:

>
> But there's one minor difference: physical equality works on Weak.t but
> not on
> functions.

What do you mean:
 
I don't know

--
Berke Durak

------=_Part_5456_33072285.1208972598737--