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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id AB1C17EF10 for ; Mon, 9 Mar 2015 17:22:07 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of bmillwood@janestreet.com) identity=pra; client-ip=38.105.200.112; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="bmillwood@janestreet.com"; x-sender="bmillwood@janestreet.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of bmillwood@janestreet.com designates 38.105.200.112 as permitted sender) identity=mailfrom; client-ip=38.105.200.112; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="bmillwood@janestreet.com"; x-sender="bmillwood@janestreet.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mxout1.mail.janestreet.com) identity=helo; client-ip=38.105.200.112; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="bmillwood@janestreet.com"; x-sender="postmaster@mxout1.mail.janestreet.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CIAADKx/1UnHDIaSZcg1haBIMGr2iNf4F6hXACgSEHTQEBAQEBARABAQEBAQYWCUKEEAEBAwESER0BASwLAQQLCwQHGh0CAiISAQUBChIGExIQh3kDCQgDCph+PjGKQHCEYgEFkQQDhT4BAQEBAQEBAwEBAQEBAQEBAQEBEQYKiw2EagQHgmiBRYR1Co55hW+BU5BXEiOBFYQRb4JDAQEB X-IPAS-Result: A0CIAADKx/1UnHDIaSZcg1haBIMGr2iNf4F6hXACgSEHTQEBAQEBARABAQEBAQYWCUKEEAEBAwESER0BASwLAQQLCwQHGh0CAiISAQUBChIGExIQh3kDCQgDCph+PjGKQHCEYgEFkQQDhT4BAQEBAQEBAwEBAQEBAQEBAQEBEQYKiw2EagQHgmiBRYR1Co55hW+BU5BXEiOBFYQRb4JDAQEB X-IronPort-AV: E=Sophos;i="5.11,368,1422918000"; d="scan'208";a="102643982" Received: from mxout1.mail.janestreet.com ([38.105.200.112]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 09 Mar 2015 17:22:04 +0100 Received: from tot-qpr-mailcore2.delacy.com ([172.27.56.106] helo=tot-qpr-mailcore2) by mxout1.mail.janestreet.com with smtp (Exim 4.82) (envelope-from ) id 1YV0RP-0003o7-59 for caml-list@inria.fr; Mon, 09 Mar 2015 12:22:03 -0400 X-JS-Flow: external Received: by tot-qpr-mailcore2 with JS-mailcore (0.1) (envelope-from ) id BU_cir-AAAEby-El; 2015-03-09 12:22:03.147765-04:00 Received: from mail-qg0-f47.google.com ([209.85.192.47]) by mxgoog1.mail.janestreet.com with esmtps (UNKNOWN:AES128-GCM-SHA256:128) (Exim 4.72) (envelope-from ) id 1YV0RO-0000wT-VR for caml-list@inria.fr; Mon, 09 Mar 2015 12:22:03 -0400 Received: by qgdz60 with SMTP id z60so29673378qgd.1 for ; Mon, 09 Mar 2015 09:22:02 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=janestreet.com; s=google; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=Gkp6HmMMQ2S7tPcrAUoVNHZL2IoJhlRn4SIUqXWMdTk=; b=IkmmAc/PbeU7EazGd0xA6Q08SFXvhuro/cSOf48cwFJwD6UgrMja93Uku463q7bVqa D64EfV7oZSDDZWQODHwi0DC0ZK1WkRjyZ5oUfQ0akXFDlDph2xwUzhcLLQQNoYceklxd yTUJaW6jhP8wmbH/pi/egM7FxaZngq5ZQaByw= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:date :message-id:subject:from:to:cc:content-type; bh=Gkp6HmMMQ2S7tPcrAUoVNHZL2IoJhlRn4SIUqXWMdTk=; b=EyT4wTFTZp+ED38thExlKgSG5sAD+1VypSIVj8UGmhoa01DcFPyxy+LthHibIlae8n EgddBEtF1LEnjgC1hjVEg5+gD7v2aOrpJSOJ/YQWQdHJLK34IeAMQKm/lYVWS8c3DsRA 0i90M4VT1kX90Z7tBZP1XCuuzqKaYjaf8FPAPYbSke/h6lRVJyMe9fWBmnPEX6i2v5d6 ELowDoaJs+09YvAGRwLDHjLvv+jhVCO8ASH56LBqN4WkxV05Xoct6hQreU/DCilb831c JwKDxuUBBzOxQkJ2ink1+geyljZ/5WrRaoSQmHf5QSGcPzL3CUOtKgscgXZeBin1PmNS 7UTg== X-Gm-Message-State: ALoCoQmpAta9Szo6kxy94cWSiS1I179gQqWD/cANbUJEcm2Acw2jfAy6nxC8L8YcZfiFRRazQUBeQVQVkme07Ostfq7iSy5Fik2af4/ilUmTpwZ8JxA+rv2eMMUbAmxNHaUY+XTlOdYW X-Received: by 10.140.202.209 with SMTP id x200mr25506162qha.44.1425918122781; Mon, 09 Mar 2015 09:22:02 -0700 (PDT) MIME-Version: 1.0 X-Received: by 10.140.202.209 with SMTP id x200mr25506153qha.44.1425918122663; Mon, 09 Mar 2015 09:22:02 -0700 (PDT) Received: by 10.96.81.100 with HTTP; Mon, 9 Mar 2015 09:22:02 -0700 (PDT) In-Reply-To: <1425911262.3240439.237866973.3128F81E@webmail.messagingengine.com> References: <54FD8397.2060002@lexifi.com> <20150309141625.0da29f2b@alcazar2> <54FDA20D.1000503@lexifi.com> <20150309145729.6e5d0cf0@alcazar2> <1425911262.3240439.237866973.3128F81E@webmail.messagingengine.com> Date: Mon, 9 Mar 2015 16:22:02 +0000 Message-ID: From:Ben Millwood To:Leo White Cc:caml users Content-Type: multipart/alternative; boundary=001a114260d02e33b30510dd6f08 X-JS-Processed-by: mailcore Subject: Re: [Caml-list] Changing precedence and placement of attributes --001a114260d02e33b30510dd6f08 Content-Type: text/plain; charset=UTF-8 I think I share Maxence's concerns insofar as if someone polled me on what the example expressions should mean, I would intuitively make the opposite choices from the ones proposed. But whatever happens I won't be profoundly upset :) On 9 March 2015 at 14:27, Leo White wrote: > > If I understand, you mean that > > type t = int * int [@foo] * int > > would be rejected and we use instead: > > type t = int * (int [@foo]) * int > > > > Again, it's really not natural to me. > > I haven't looked at the patch closely, but it seems roughly consistent > with how "as 'a" is handled. This makes sense to me, since in both > cases you are attaching additional information to the type. > > Regards, > > Leo > > -- > 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 > --001a114260d02e33b30510dd6f08 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
I think I share Maxence's concerns insofar as if someo= ne polled me on what the example expressions should mean, I would intuitive= ly make the opposite choices from the ones proposed. But whatever happens I= won't be profoundly upset :)

On 9 March 2015 at 14:27, Leo White <leo@lpw25.net&g= t; wrote:
> If= I understand, you mean that
>=C2=A0 =C2=A0type t =3D int * int [@foo] * int
> would be rejected and we use instead:
>=C2=A0 =C2=A0type t =3D int * (int [@foo]) * int
>
> Again, it's really not natural to me.

I haven't looked at the patch closely, but it seems roughly cons= istent
with how "as 'a" is handled. This makes sense to me, since in= both
cases you are attaching additional information to the type.

Regards,

Leo

--
Caml-list mailing list.=C2=A0 Subscription 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

--001a114260d02e33b30510dd6f08--