From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 9669B7EEB3 for ; Fri, 25 Jan 2013 18:49:24 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of gabriel.scherer@gmail.com) identity=pra; client-ip=209.85.214.43; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of gabriel.scherer@gmail.com designates 209.85.214.43 as permitted sender) identity=mailfrom; client-ip=209.85.214.43; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-bk0-f43.google.com) identity=helo; client-ip=209.85.214.43; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-bk0-f43.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Am8BAD/FAlHRVdYrk2dsb2JhbABFq3iSUwgWDgEBAQEJCQsJFAQjgh4BAQVAARsSCwEDDAYFCw0NISIBEQEFAQoSBhMSh2oBAw8MoA6MM4J7hGQKGScDClmIdgEFDJEzA5YNgRyNSxYphBo X-IPAS-Result: Am8BAD/FAlHRVdYrk2dsb2JhbABFq3iSUwgWDgEBAQEJCQsJFAQjgh4BAQVAARsSCwEDDAYFCw0NISIBEQEFAQoSBhMSh2oBAw8MoA6MM4J7hGQKGScDClmIdgEFDJEzA5YNgRyNSxYphBo X-IronPort-AV: E=Sophos;i="4.84,540,1355094000"; d="scan'208";a="192056" Received: from mail-bk0-f43.google.com ([209.85.214.43]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 25 Jan 2013 18:49:04 +0100 Received: by mail-bk0-f43.google.com with SMTP id jf20so428604bkc.30 for ; Fri, 25 Jan 2013 09:49:03 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=x-received:mime-version:in-reply-to:references:from:date:message-id :subject:to:cc:content-type; bh=J/K7sXKvVxwNRs8Lwq/b7KK1N2/7zfmTB05ohRu9Jhs=; b=ucfahDZgC+s+XUfx3u5fvdtxiO5CaVZfgA7PQX89W/EIrVyn0Nv9TdB89ay9gP9CBv la8Q3ao7+n/6DK0G8yK7MVCZlwBeDEsQFjdRLmutSseJg6tGPY8hh7U3JO74zetopydh r3TGLKWhlANcn3J7TPnU37HHdfD6Qdn6ICgyLSRfTvPAw32y6yQyCGs1X21mTr6fG3vC P6OWZIVw9m8SDvGtSVaVt+1cVRyJZZZEAZlDw8ZsUPQJry1uJzp/umGvxPAmm6XclYP1 gNXDQY2AqU1wljhtGFiTYl8YKVKj/X0xvsCkzqIXPm0/oNnxd1iScCA9elEjDU5NZizo 2LIQ== X-Received: by 10.204.9.16 with SMTP id j16mr2058745bkj.53.1359136143520; Fri, 25 Jan 2013 09:49:03 -0800 (PST) MIME-Version: 1.0 Received: by 10.204.236.134 with HTTP; Fri, 25 Jan 2013 09:48:23 -0800 (PST) In-Reply-To: References: <5101B504.3050903@mcmaster.ca> <20130124230059.GQ8635@cooper-siegel.org> From: Gabriel Scherer Date: Fri, 25 Jan 2013 18:48:23 +0100 Message-ID: To: Jacques Carette Cc: OCaML Mailing List Content-Type: text/plain; charset=ISO-8859-1 Subject: Re: [Caml-list] Unexpected parsing "true" and "false" being defined as keywords by the OCaml lexical conventions ( http://caml.inria.fr/pub/docs/manual-ocaml/lex.html ), it seems perfectly reasonable not to parse them as identifiers. (That the implementation is overly permissive in accepting their use in exotic way is another matter.) On Fri, Jan 25, 2013 at 7:46 AM, Arnaud Spiwack wrote: > Quite : > > # type drole = true of drole | false of drole*drole | HAHA;; > type drole = true of drole | false of drole * drole | HAHA > # false (false (true HAHA, HAHA), true (true (true (true HAHA))));; > - : drole = false (false (true HAHA, HAHA), true (true (true (true HAHA)))) > > > > On 25 January 2013 00:00, Eric Cooper wrote: >> >> On Thu, Jan 24, 2013 at 05:26:12PM -0500, Jacques Carette wrote: >> > Why is >> > > true ;; >> > parsed as Pexp_construct rather than Pexp_ident ? [This is Ocaml 4.01]. >> >> Perhaps to be consistent with >> type bool = false | true >> >> -- >> Eric Cooper e c c @ c m u . e d u >> >> -- >> Caml-list mailing list. Subscription management and archives: >> https://sympa.inria.fr/sympa/arc/caml-list >> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners >> Bug reports: http://caml.inria.fr/bin/caml-bugs >> >