From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id C2B9BBB9C for ; Wed, 14 Sep 2005 23:07:48 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j8EL7mKC008175 for ; Wed, 14 Sep 2005 23:07:48 +0200 Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id XAA08746 for ; Wed, 14 Sep 2005 23:07:47 +0200 (MET DST) Received: from rouge.crans.org (rouge.crans.org [138.231.136.3]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j8EL7lfH008168 for ; Wed, 14 Sep 2005 23:07:47 +0200 Received: from localhost (rouge.adm.crans.org [138.231.144.3]) by rouge.crans.org (Postfix) with ESMTP id 37829BB92; Wed, 14 Sep 2005 23:07:35 +0200 (CEST) Received: from rouge.crans.org ([138.231.144.3]) by localhost (rouge [138.231.144.3]) (amavisd-new, port 10024) with LMTP id 04236-04-83; Wed, 14 Sep 2005 23:07:35 +0200 (CEST) Received: from [138.231.142.233] (trantor.crans.org [138.231.142.233]) by rouge.crans.org (Postfix) with ESMTP id 0BCEBBB85; Wed, 14 Sep 2005 23:07:34 +0200 (CEST) Message-ID: <43289147.2030903@crans.org> Date: Wed, 14 Sep 2005 23:08:23 +0200 From: =?ISO-8859-1?Q?St=E9phane_Glondu?= User-Agent: Mozilla Thunderbird 1.0.2 (X11/20050322) X-Accept-Language: fr, en MIME-Version: 1.0 To: Ingo Bormuth Cc: caml-list@inria.fr Subject: Re: [Caml-list] Reference to polymorphic function ? References: <20050913123843.GA9640@kruemel> In-Reply-To: <20050913123843.GA9640@kruemel> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Virus-Scanned: by amavisd-new-20030616-p10 (Debian) at crans.org X-Miltered: at nez-perce with ID 43289124.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 43289123.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 resolving:01 mutable:01 ingo:98 wrote:01 polymorphic:01 explicitly:01 stephane:07 stephane:07 maybe:07 function:08 however:12 references:14 type:14 using:15 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 Hi, Ingo Bormuth wrote: > How can I keep the interferer from explicitly resolving the type of v ? It is not possible using mutable values. However, I didn't catch what you want to do with thoses references: maybe there is another way to achieve what you want? -- Stephane Glondu