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.2 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 28FD9BB84 for ; Tue, 1 Jul 2008 09:03:07 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApsEAIpzaUjAXQIm/2dsb2JhbACSQJlahTo X-IronPort-AV: E=Sophos;i="4.27,730,1204498800"; d="scan'208";a="14613044" Received: from discorde.inria.fr ([192.93.2.38]) by mail1-smtp-roc.national.inria.fr with ESMTP; 01 Jul 2008 09:03:07 +0200 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m61736Hg003509 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Tue, 1 Jul 2008 09:03:06 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhMBAMBzaUjRVciodGdsb2JhbACSQEMBDAMEBgcPBZhihTo X-IronPort-AV: E=Sophos;i="4.27,730,1204498800"; d="scan'208";a="14689306" Received: from wf-out-1314.google.com ([209.85.200.168]) by mail3-smtp-sop.national.inria.fr with ESMTP; 01 Jul 2008 09:02:57 +0200 Received: by wf-out-1314.google.com with SMTP id 25so2252599wfa.0 for ; Tue, 01 Jul 2008 00:02:56 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from:to :subject:cc:in-reply-to:mime-version:content-type :content-transfer-encoding:content-disposition:references; bh=P+0xtuxBQ2SG3bFTesmCxjOPe+sPdYXXlhus92qlQ4E=; b=GDqUnnP34RSRPQrPcXw9ezMZwemtmzxwT/hDhbTRkCePkEtCGKxCpHIGNAfW6o2PQo RYanV4dD96dsMSdETbE5NXM8JxaU0j+8eyhdyK6p3c0/oq7i1RD/+5SdNvjyH99qWGAE QTK43MCXKtlgsTi9+4/LhIyrYtLtA4st+CtEg= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:to:subject:cc:in-reply-to:mime-version :content-type:content-transfer-encoding:content-disposition :references; b=IpvAvRdnwJq0oL3GnoZ/rf8KpLbEZde2PM0IoImyqyKi2sT7PrIzlwIntIQRuhFULj HrCLWP6RuO/jTUaacFjwxaZjKx2XgA0zXWpmut+l6NNSc4mmUNLJNQQvLHkQUGPzVDAP 60PaUBgg5rIqVfGsed5OyUcKDsz7gofx0/P0c= Received: by 10.142.86.7 with SMTP id j7mr2315727wfb.78.1214895776178; Tue, 01 Jul 2008 00:02:56 -0700 (PDT) Received: by 10.142.212.1 with HTTP; Tue, 1 Jul 2008 00:02:56 -0700 (PDT) Message-ID: <527cf6bc0807010002t144cc28djf0dbc9715ca01cdf@mail.gmail.com> Date: Tue, 1 Jul 2008 09:02:56 +0200 From: "blue storm" To: "Arthur Chan" Subject: Re: [Caml-list] camlp4 parser accepts more than its grammar? Cc: "Till Varoquaux" , caml-list In-Reply-To: <74cabd9e0806301701i547747fbo6fd2eb8a834f367a@mail.gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <1214554558-sup-9348@ausone.inria.fr> <9d3ec8300806270142y3a80c3deo47b2cf4dbaeddafe@mail.gmail.com> <74cabd9e0806301701i547747fbo6fd2eb8a834f367a@mail.gmail.com> X-Miltered: at discorde with ID 4869D6AA.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; camlp:01 parser:01 camlp:01 storm:98 wrote:01 caml-list:01 int:01 grammar:02 float:03 blue:96 chan:04 break:08 accepts:09 sadly:10 type:14 On 7/1/08, Arthur Chan wrote: >> type t = A of int | false of float >> >> > That is so evil. > But it won't break any syntaxic sugar, as with type 'a list = () | :: of 'a * 'a list Sadly, camlp4o reject these.