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.0 required=5.0 tests=none 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 27D38BC69 for ; Mon, 5 Mar 2007 06:25:49 +0100 (CET) Received: from mail.colba.net (mail.colba.net [207.107.221.4]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l255PlNS003136 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=FAIL) for ; Mon, 5 Mar 2007 06:25:48 +0100 Received: from [192.168.0.103] (225.85.252.216.dsl1.colba.net [216.252.85.225]) by mail.colba.net (8.12.11/8.12.1) with ESMTP id l255PfTw042682; Mon, 5 Mar 2007 00:25:41 -0500 (EST) Message-ID: <45EBAA19.6030605@generation.net> Date: Mon, 05 Mar 2007 00:26:49 -0500 From: Eliot Handelman Reply-To: eliot@generation.net User-Agent: Thunderbird 1.5.0.10 (Windows/20070221) MIME-Version: 1.0 To: Martin Jambon Cc: caml-list@inria.fr Subject: Re: [Caml-list] Re: records with polymorphic variants? References: <45EA613F.3030104@generation.net> <87k5xxjdgv.fsf@gmail.com> <4a708d20703040824o20b1d572h786d46da586c9977@mail.gmail.com> In-Reply-To: Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Miltered: at discorde with ID 45EBA9DB.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; variants:01 syntax:01 polymorphic:01 wrote:01 caml-list:01 constraint:01 int:01 jambon:01 papers:05 generation:12 martin:12 i've:12 eliot:13 eliot:13 type:14 Martin Jambon wrote: > > You can do this directly if you prefer: > > type 'a f = 'a > constraint 'a = [> `A of int ] This is exactly what I was trying to do in the first place. Where exactly is the main documentation for this syntax? Not in JG's papers, unless I've missed something, as is possible. Many thanks again,. -- eliot