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 A5D5A7F6D8 for ; Mon, 19 Jan 2015 10:40:39 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of alain.frisch@lexifi.com) identity=pra; client-ip=85.233.204.164; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="alain.frisch@lexifi.com"; x-sender="alain.frisch@lexifi.com"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of alain.frisch@lexifi.com) identity=mailfrom; client-ip=85.233.204.164; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="alain.frisch@lexifi.com"; x-sender="alain.frisch@lexifi.com"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mx20.yaziba.net) identity=helo; client-ip=85.233.204.164; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="alain.frisch@lexifi.com"; x-sender="postmaster@mx20.yaziba.net"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Aq8AANPPvFRV6cyknGdsb2JhbABbhzbGTYJPAoEgQwEBAQEBEQEBAQEBCAsJCRQuhA0BBSMVQRALGAICBSECAg8CRgYNAQcBAYgsumOTZgEBAQcBAQEBAR2BIY5YB4JogUEFl3CGL4NriA4ChBGDMQEBAQ X-IPAS-Result: Aq8AANPPvFRV6cyknGdsb2JhbABbhzbGTYJPAoEgQwEBAQEBEQEBAQEBCAsJCRQuhA0BBSMVQRALGAICBSECAg8CRgYNAQcBAYgsumOTZgEBAQcBAQEBAR2BIY5YB4JogUEFl3CGL4NriA4ChBGDMQEBAQ X-IronPort-AV: E=Sophos;i="5.09,425,1418079600"; d="scan'208";a="96867887" Received: from mx20.yaziba.net ([85.233.204.164]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 19 Jan 2015 10:40:38 +0100 Received: from mta10.int.yaziba.net (unknown [10.4.20.30]) by mx20.yaziba.net (mx10.yaziba.net) with ESMTP id D6E3B1A73D2; Mon, 19 Jan 2015 10:40:37 +0100 (CET) Received: from localhost (localhost [127.0.0.1]) by mta10.int.yaziba.net (Postfix) with ESMTP id CFA47CA733; Mon, 19 Jan 2015 10:40:37 +0100 (CET) X-Virus-Scanned: amavisd-new at mta10.int.yaziba.net Received: from mta10.int.yaziba.net ([127.0.0.1]) by localhost (mta10.int.yaziba.net [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id Dn7jhSxwXn4q; Mon, 19 Jan 2015 10:40:36 +0100 (CET) Received: from localhost (localhost [127.0.0.1]) by mta10.int.yaziba.net (Postfix) with ESMTP id 5F26DCA72A; Mon, 19 Jan 2015 10:40:36 +0100 (CET) X-Virus-Scanned: amavisd-new at mta10.int.yaziba.net Received: from mta10.int.yaziba.net ([127.0.0.1]) by localhost (mta10.int.yaziba.net [127.0.0.1]) (amavisd-new, port 10026) with ESMTP id rzZfxvPD3VBH; Mon, 19 Jan 2015 10:40:36 +0100 (CET) Received: from [10.0.48.154] (unknown [185.23.92.144]) by mta10.int.yaziba.net (Postfix) with ESMTPSA id 18FBECA695; Mon, 19 Jan 2015 10:40:36 +0100 (CET) Message-ID: <54BCD113.70309@lexifi.com> Date: Mon, 19 Jan 2015 10:40:35 +0100 From: Alain Frisch Organization: LexiFi User-Agent: Mozilla/5.0 (X11; Linux i686 on x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.4.0 MIME-Version: 1.0 To: Gabriel Scherer CC: oleg@okmij.org, Jun Furuse , caml users References: <20150119073303.038ECC38BA@www1.g3.pair.com> <54BCC17A.4000802@frisch.fr> In-Reply-To: Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit X-DRWEB-SCAN: ok X-VRSPAM-SCORE: -100 X-VRSPAM-STATE: legit X-VRSPAM-CAUSE: gggruggvucftvghtrhhoucdtuddrfeejjedrjeeigddtjecutefuodetggdotefrucfrrhhofhhilhgvmecuggftfghnshhusghstghrihgsvgenuceurghilhhouhhtmecufedttdenucesvcftvggtihhpihgvnhhtshculddquddttddmnecujfgurhepkfffhfhofgggvffufhgjtgfgsehtjegrtddtfeejnecuhfhrohhmpeetlhgrihhnucfhrhhishgthhcuoegrlhgrihhnrdhfrhhishgthheslhgvgihifhhirdgtohhmqe X-VRSPAM-EXTCAUSE: mhhouggvpehsmhhtphhouhht Subject: Re: [Caml-list] [ANN] ppx_monadic.1.0.2, ppx for monadic do, On 01/19/2015 10:06 AM, Gabriel Scherer wrote: > (On the other hand, the remark that the existing uses of keyword-bang in > the language, namely (method!) and (open!), could now be represented as > annotations is fairly reasonable.) Indeed, these ! markers only affect warnings, and don't change the static or dynamic semantics otherwise, so I wouldn't be shocked if they were represented internally with attributes. Unless perhaps if we consider that forcing users to mark method overrides, as in many other class-based OO languages, should become part of the language definition (i.e. turned into a strong error at some point). -- Alain