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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 2AB69BBAF for ; Sat, 30 Oct 2010 15:05:08 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Al0BABa1y0yCcUBTZ2dsb2JhbAChWw0JDAcRIrsfhUQEjVyHfw X-IronPort-AV: E=Sophos;i="4.58,264,1286143200"; d="scan'208";a="64601942" Received: from sigma957.cis.mcmaster.ca ([130.113.64.83]) by mail3-smtp-sop.national.inria.fr with ESMTP; 30 Oct 2010 15:05:07 +0200 Received: from Dura7.UTS.McMaster.CA (dura7.UTS.McMaster.CA [130.113.196.62]) by sigma957.cis.mcmaster.ca (8.13.7/8.13.7) with ESMTP id o9UD4tXi012109; Sat, 30 Oct 2010 09:05:03 -0400 (EDT) Received: from cgpsrv2.cis.mcmaster.ca (univmail.CIS.McMaster.CA [130.113.64.46]) by Dura7.UTS.McMaster.CA (8.13.7/8.13.7) with ESMTP id o9UD4cEj031441; Sat, 30 Oct 2010 09:04:38 -0400 Received: from [173.32.159.3] (account carette@univmail.cis.mcmaster.ca HELO [192.168.2.100]) by cgpsrv2.cis.mcmaster.ca (CommuniGate Pro SMTP 5.2.12) with ESMTPSA id 326170388; Sat, 30 Oct 2010 09:04:39 -0400 Message-ID: <4CCC17E7.3030606@mcmaster.ca> Date: Sat, 30 Oct 2010 09:04:39 -0400 From: Jacques Carette Organization: McMaster University User-Agent: Mozilla/5.0 (Windows; U; Windows NT 6.0; en-US; rv:1.9.2.12) Gecko/20101027 Thunderbird/3.1.6 MIME-Version: 1.0 To: Jacques Garrigue Cc: caml-list@inria.fr Subject: Re: [Caml-list] Re: Generalized Algebraic Datatypes References: <904846.44200.qm@web111513.mail.gq1.yahoo.com> In-Reply-To: Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-PMX-Version-Mac: 5.5.9.395186, Antispam-Engine: 2.7.2.376379, Antispam-Data: 2010.10.28.130628 X-PerlMx-Spam: Gauge=IIIIIIII, Probability=8%, Report=' BODYTEXTP_SIZE_3000_LESS 0, BODY_SIZE_1000_LESS 0, BODY_SIZE_2000_LESS 0, BODY_SIZE_400_499 0, BODY_SIZE_5000_LESS 0, BODY_SIZE_7000_LESS 0, DATE_TZ_NA 0, __BOUNCE_CHALLENGE_SUBJ 0, __BOUNCE_NDR_SUBJ_EXEMPT 0, __CT 0, __CTE 0, __CT_TEXT_PLAIN 0, __HAS_MSGID 0, __MIME_TEXT_ONLY 0, __MIME_VERSION 0, __MOZILLA_MSGID 0, __SANE_MSGID 0, __USER_AGENT 0' X-Spam-Flag: NO X-Spam: no; 0.00; datatypes:01 jacques's:01 bool:01 bool:01 constructors:01 existential:01 wrote:01 wrote:01 caml-list:01 constructor:01 int:01 int:01 mcmaster:02 garrigue:03 algebraic:03 On 30/10/2010 1:14 AM, Jacques Garrigue wrote: > On 2010/10/30, at 8:01, Jacques Le Normand wrote: >> Note that, as in Jacques's examples, the constructor function was not curryfied. (type t = A of bool * int) would generate a function (A : bool * int -> t). > Actually, curryfied constructors are not allowed, so this is not accepted. > (Existential types are allowed, which may have confused the other Jacques) I was not confused at all. Jacques Carette PS: ;-)