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 concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id DCC19BB83 for ; Thu, 4 May 2006 22:28:45 +0200 (CEST) Received: from swip.net (mailfe02.tele2.fr [212.247.154.44]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id k44KSjrg000502 for ; Thu, 4 May 2006 22:28:45 +0200 X-T2-Posting-ID: VOFteLZ+LTHhOWGZw3zDiXYGNWCfSPl1g+TbJcmKNB0= X-Cloudmark-Score: 0.000000 [] Received: from [83.177.250.40] (HELO lycoperdon.mycelium) by mailfe02.swip.net (CommuniGate Pro SMTP 5.0.8) with SMTP id 192320712 for caml-list@yquem.inria.fr; Thu, 04 May 2006 22:28:45 +0200 Date: Thu, 4 May 2006 22:30:18 +0200 From: Nils Gesbert To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Oddness with recursive polymorphic variants Message-Id: <20060504223018.9f407793.nils.gesbert@ens.fr> In-Reply-To: <20060504210319.5e05f7a6.nils.gesbert@ens.fr> References: <445A22BA.4070807@sms.ed.ac.uk> <20060504210319.5e05f7a6.nils.gesbert@ens.fr> X-Mailer: Sylpheed version 2.2.3 (GTK+ 2.4.1; i686-pc-linux-gnu) Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit X-Miltered: at concorde with ID 445A63FD.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; nils:01 nils:01 recursive:01 variants:01 polymorphic:01 caml-list:01 coerce:02 ens:02 let:03 function:08 function:08 also:25 the:26 directly:28 with:29 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.1 required=5.0 tests=FORGED_RCVD_HELO autolearn=disabled version=3.0.3 Alternatively, you may also coerce directly the function : let s1 = ((function `A -> `A | `B b -> b) :> f -> g)