From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id pBDEZDZK017403 for ; Tue, 13 Dec 2011 15:35:13 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Aq0CAPdh505iilvQnGdsb2JhbAA2DZpgkGQBAQEBAQgLCQkUJYFtARYgFQECFSIBFHoBDgEGGIVbgisLliWOSgqCYYRliTABBgoBi10EiDCMSIVGKkiILoNd X-IronPort-AV: E=Sophos;i="4.71,345,1320620400"; d="scan'208";a="135229214" Received: from nm20-vm2.bullet.mail.ne1.yahoo.com ([98.138.91.208]) by mail1-smtp-roc.national.inria.fr with SMTP; 13 Dec 2011 15:35:07 +0100 Received: from [98.138.90.48] by nm20.bullet.mail.ne1.yahoo.com with NNFMP; 13 Dec 2011 14:35:06 -0000 Received: from [98.138.87.3] by tm1.bullet.mail.ne1.yahoo.com with NNFMP; 13 Dec 2011 14:35:06 -0000 Received: from [127.0.0.1] by omp1003.mail.ne1.yahoo.com with NNFMP; 13 Dec 2011 14:35:06 -0000 X-Yahoo-Newman-Property: ymail-3 X-Yahoo-Newman-Id: 407915.43010.bm@omp1003.mail.ne1.yahoo.com Received: (qmail 22023 invoked by uid 60001); 13 Dec 2011 14:35:05 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s1024; t=1323786905; bh=wUGVmrIFB57pQFPZLEOvGvKuZvfma/vyGdC6PijlQl0=; h=X-YMail-OSG:Received:X-Mailer:Message-ID:Date:From:Reply-To:Subject:To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=PijaiWpTUAe4WfmxhhNLAOmoMI1ENB1VlLFTQ3wCnc+UIO01HeEfQAiOwgownv20NoBP/QSKB9Y4y9WLblO1gBAjOb/vZMQTM5GAnHWwiTiCK1QpgXyl5dO2PyzXlnEKLUYr+ap1B9aFYc6KeFNJ9CrfEs3BxAHjfhhv3T45Rmw= DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.com; h=X-YMail-OSG:Received:X-Mailer:Message-ID:Date:From:Reply-To:Subject:To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=Co4tcKSm23R8NVWx48G+x1/T6aXnl/A+qOCuqOrAu/YMWQOW9z/Xh0OKPiUFU8pjO/Q2e9nM+R8x4RMtWr+WnvWGmalPH0YY1m0IzhqgDLMAT4Ve08S/BRmd9sTDERRIDW410GqoZsn6ARUa26rWaMjN1YKI+8Oe4eK/2pTA4RU=; X-YMail-OSG: xNZXjjcVM1lhZCg1KNPoL6rA8pb5KjdQwQmJT9NxMFmoiI1 W6sbVcdY5JMTnfe7Hyv.nciAV4WVHt.ffpi3d0IVcJX25ijefX_SDgouIFID aFkzXbK7lT8QKwvJ58eefY23fGiAwe5auW1OLFfpKyyc64eIN8AsRADOS0vh vJkgoqnK1z06zCt0BLxI_c1iYTjIPsqONIfZ8nn.PLfXSN8uBmmaXMESQd6C MhNTEhKPKFULKEb2A5eAhDJImF2_SuoWQAHR5KGlWDePW56Ay61IWfkQhbVC BwAr97B4qMxp98sQ_MxxQg94k_5kXcoWW5AnkZVWo2qrmMue1JYl18wzi5U2 ryTO4rnA5zxJxr0iRDRhFF7106wJSj66yq10nqoNAnz1DT__FFN812P92tvg OkZ1GNfb.sDkjLj9g64iHSLgPDmNaDOyPEzN5RdZxr96cahOCNwv2Z5dhzZi cah4gMOJH Received: from [195.23.39.103] by web111503.mail.gq1.yahoo.com via HTTP; Tue, 13 Dec 2011 06:35:05 PST X-Mailer: YahooMailWebService/0.8.115.331698 Message-ID: <1323786905.94413.YahooMailNeo@web111503.mail.gq1.yahoo.com> Date: Tue, 13 Dec 2011 06:35:05 -0800 (PST) From: Dario Teixeira Reply-To: Dario Teixeira To: caml MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id pBDEZDZK017403 Subject: [Caml-list] PV-GADTs Hi, I wonder, is there any theoretical reason why GADTs cannot be associated with polymorphic variants?  As an example, consider the two type declarations below. The first is your run-of-the-mill GADT, supported by the current SVN trunk.  The second is a PV-GADT, which is not accepted.  But is this just a present limitation or a fundamental one? type _ t1 = Foo: int t1 | Bar: float t1 type _ t2 = [ `Foo: int t2 | `Bar: float t2 ] Thanks in advance for your input! Cheers, Dario Teixeira