From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <weis@pauillac.inria.fr>
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 830FBBBAF
	for <caml-list@yquem.inria.fr>; Wed, 28 Jun 2006 18:48:26 +0200 (CEST)
Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35])
	by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id k5SGmQmt019951
	for <caml-list@yquem.inria.fr>; Wed, 28 Jun 2006 18:48:27 +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 SAA22348 for <caml-list@pauillac.inria.fr>; Wed, 28 Jun 2006 18:48:26 +0200 (MET DST)
Received: from nz-out-0102.google.com (nz-out-0102.google.com [64.233.162.192])
	by nez-perce.inria.fr (8.13.6/8.13.6) with ESMTP id k5SGmPaQ012972
	for <caml-list@inria.fr>; Wed, 28 Jun 2006 18:48:25 +0200
Received: by nz-out-0102.google.com with SMTP id n1so1887731nzf
        for <caml-list@inria.fr>; Wed, 28 Jun 2006 09:48:24 -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:content-transfer-encoding:content-disposition:references;
        b=Zi4mYaAsBGEu1af3OBfUpgyf1Y3htUc1lukmRtAksu85BpaWOurNEs6lBEpQV4533i39cxN2IYdKD1uqJSue43qVVfsJVvVnqpTiSnyZmudtGZ4/s1gSCXnA1esgtwAVnqJUeePWd8OBwPPtlrCNfDlG2Ds7S5o2pvJfTbl1fmE=
Received: by 10.36.118.8 with SMTP id q8mr1509896nzc;
        Wed, 28 Jun 2006 09:48:24 -0700 (PDT)
Received: by 10.36.101.10 with HTTP; Wed, 28 Jun 2006 09:48:24 -0700 (PDT)
Message-ID: <ad8cfe7e0606280948y1d85244ndf7487179ae81306@mail.gmail.com>
Date: Thu, 29 Jun 2006 04:48:24 +1200
From: "Jonathan Roewen" <jonathan.roewen@gmail.com>
To: "Seth J. Fogarty" <sfogarty@gmail.com>
Subject: Re: [Caml-list] Question on Variant Types
Cc: caml-list <caml-list@inria.fr>
In-Reply-To: <ad8cfe7e0606280947r35968926sad264f7847eb850e@mail.gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
References: <c7ee61120606280927l4d9a8dfeq9035f93a12651ed9@mail.gmail.com>
	 <ad8cfe7e0606280947r35968926sad264f7847eb850e@mail.gmail.com>
X-j-chkmail-Score: MSGID : 44A2B2D9.000 on nez-perce : j-chkmail score : X : 0/20 1
X-Miltered: at concorde with ID 44A2B2DA.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)!
X-Miltered: at nez-perce with ID 44A2B2D9.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)!
X-Spam: no; 0.00; foo:01 foo:01 val:01 caml-list:01 variant:02 tree:02 tree:02 types:02 intermediate:03 let:03 needing:04 nil:06 function:08 fun:08 question:11 
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=RCVD_BY_IP autolearn=disabled 
	version=3.0.3

> # let bar_of_foo t = (t : foo :> bar);;
> val bar_of_foo : foo -> bar = <fun>
> # g (bar_of_foo c);;
> - : bar = `Tree (`Tree `Nil)

I should've added that without needing an intermediate function, you
can also do:
g (c : foo :> bar);;

>
> Jonathan
>