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 mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id 9365A7EEAF for ; Fri, 25 Jan 2013 07:47:10 +0100 (CET) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of arnaud.spiwack@gmail.com) identity=pra; client-ip=74.125.82.49; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="arnaud.spiwack@gmail.com"; x-sender="arnaud.spiwack@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of arnaud.spiwack@gmail.com designates 74.125.82.49 as permitted sender) identity=mailfrom; client-ip=74.125.82.49; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="arnaud.spiwack@gmail.com"; x-sender="arnaud.spiwack@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wg0-f49.google.com) identity=helo; client-ip=74.125.82.49; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="arnaud.spiwack@gmail.com"; x-sender="postmaster@mail-wg0-f49.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhICAIApAlFKfVIxjWdsb2JhbABEhkalMYlAAYkUCBYOAQEBAQkJCwkSBiOCHgEBBAEjHQESGwwDAQsBBQMCBAcNDR0CAiISAQUBChIGExKHdgMJBgyQII8Zi2WDSoR2JwMKiU8BBQyQH4ETA5YMgRyNSxYpgViCQw X-IronPort-AV: E=Sophos;i="4.84,536,1355094000"; d="scan'208";a="191429230" Received: from mail-wg0-f49.google.com ([74.125.82.49]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 25 Jan 2013 07:47:10 +0100 Received: by mail-wg0-f49.google.com with SMTP id 15so25866wgd.16 for ; Thu, 24 Jan 2013 22:47:09 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=x-received:mime-version:sender:in-reply-to:references:from:date :x-google-sender-auth:message-id:subject:to:content-type; bh=sfOwv8jTGJ+fL35fQxUrPMsELifgL/0B6gcBu08lwZ4=; b=NjPe68/TE/k7lvmqDGOrLGcN5hLInMDqIvjZsfO0NDagxaofO/xy6VqvVea2mPQnzz jPurrYXAcVWSBlj6WSFwe/Pq4hCP028BnYEANnG0gI7Sx6qZziiaRCA4WVYZbrjQPCYz bdXkK9PPyF9peyYKxvwWiEU0kPuqmJMX9sX5vf0o0B6KmSAAs6SSAM8hiqMyb8xI3VAM zaFFob/xd3J1kjoIYHxJPefHd6f7tH5SmYGifYOR01vRpOjWDjttddu2HB/a7Y0d4YFm rdRJ4sycRukQcZjVJUVFb7iog0Kt3EcQzj5XL+Z7LYUD81hqicEIb2B0jMfrwPKN8n2w DgoQ== X-Received: by 10.180.93.133 with SMTP id cu5mr6850675wib.32.1359096429773; Thu, 24 Jan 2013 22:47:09 -0800 (PST) MIME-Version: 1.0 Sender: arnaud.spiwack@gmail.com Received: by 10.216.116.10 with HTTP; Thu, 24 Jan 2013 22:46:29 -0800 (PST) In-Reply-To: <20130124230059.GQ8635@cooper-siegel.org> References: <5101B504.3050903@mcmaster.ca> <20130124230059.GQ8635@cooper-siegel.org> From: Arnaud Spiwack Date: Fri, 25 Jan 2013 07:46:29 +0100 X-Google-Sender-Auth: 0olVW49cH1tqq5sGOPRD4KjGMf8 Message-ID: To: OCaML Mailing List Content-Type: multipart/alternative; boundary=f46d04389045e982fc04d4174bd5 Subject: Re: [Caml-list] Unexpected parsing --f46d04389045e982fc04d4174bd5 Content-Type: text/plain; charset=UTF-8 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 > > --f46d04389045e982fc04d4174bd5 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Quite :

# type drole =3D true of drole | false of d= role*drole | HAHA;;
type drole =3D true of drole | false of drole * drol= e | HAHA
# false (false (true HAHA, HAHA), true (true (true (true HAHA))= ));;
- : drole =3D false (false (true HAHA, HAHA), true (true (true (true HAHA))= ))



On 25 January 2013 00:00, Eric Cooper <ecc@cmu.edu> 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 ? =C2=A0[This is Ocaml= 4.01].

Perhaps to be consistent with
=C2=A0 =C2=A0 type bool =3D false | true

--
Eric Cooper =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 e c c @ c m u . e d u=

--
Caml-list mailing list. =C2=A0Subscription management and archives:
ht= tps://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


--f46d04389045e982fc04d4174bd5--