From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 83A90824B5 for ; Fri, 7 Sep 2018 01:45:15 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=garrigue@math.nagoya-u.ac.jp; spf=None smtp.mailfrom=garrigue@math.nagoya-u.ac.jp; spf=None smtp.helo=postmaster@ms.math.nagoya-u.ac.jp Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of garrigue@math.nagoya-u.ac.jp) identity=pra; client-ip=133.6.130.11; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="garrigue@math.nagoya-u.ac.jp"; x-sender="garrigue@math.nagoya-u.ac.jp"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of garrigue@math.nagoya-u.ac.jp) identity=mailfrom; client-ip=133.6.130.11; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="garrigue@math.nagoya-u.ac.jp"; x-sender="garrigue@math.nagoya-u.ac.jp"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@ms.math.nagoya-u.ac.jp) identity=helo; client-ip=133.6.130.11; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="garrigue@math.nagoya-u.ac.jp"; x-sender="postmaster@ms.math.nagoya-u.ac.jp"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A6c5jkhI+pbp14+zsZdmcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgeI/nxwZ3uMQTl6Ol3ixeRBMOHs60C07KempujcFRI2YyGvnEGfc4EfD4+ou?= =?us-ascii?q?JSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgpp?= =?us-ascii?q?POT1HZPZg9iq2+yo9JDffwdFiCChbb9uMR67sRjfus4KjIV4N60/0AHJonxGe+?= =?us-ascii?q?RXwWNnO1eelAvi68mz4ZBu7T1et+ou+MBcX6r6eb84TaFDAzQ9L281/szrugLd?= =?us-ascii?q?QgaJ+3ART38ZkhtMAwjC8RH6QpL8uTb0u+ZhxCWXO9D9QKsqUjq+8ahkVB7oiD?= =?us-ascii?q?8GNzEn9mHXltdwh79frB64uhBz35LYbISTOfFjfK3SYMkaSHJdUcleSiJPAoGz?= =?us-ascii?q?YYUAAeQCM+ZWsY7zqkASrRunAAmgGOPvxiNKi3LwwKY00/4hEQbD3AE4G9wBqm?= =?us-ascii?q?jbrMzoNKgMSuC+0ajGwi/Zb/NM2Df955XIfQ48qvyLUrJ/a9DRyVMuFwPKk1Wf?= =?us-ascii?q?t5foPzaP2eQRs2iX9exgWvigi24gqwB+uCGjxto2hobTmo0Z0FLE9T1gzYszON?= =?us-ascii?q?a2S1Z7bMa5HJZeuSyWLYp7Ttk/T2xmpCo20KAKtYOjcCUKy5kr3QPTZvyEfoSS?= =?us-ascii?q?/x7vSuWcLS1liH9ler+ygQu5/1K6xe3mTMa01U5HripbndnIsXAAzxnT6tOdRv?= =?us-ascii?q?t45EihxTaP2xrV6u5eLkA0kqraJIQ4zr4tjJYcq1jMEjX0mEXulKOWd0Mk9fa0?= =?us-ascii?q?6+n/f7nrqJGRO5V1hw3kL6gjlNCzDf4lPgQTR2Sb/P6z1Lzn/U33WrVKifg2n7?= =?us-ascii?q?HWsJ/AP8QbvK+5AwBI0ok98Bu/Ci2p0MgYnXUdKlJKYh2Hj4/pOl7UOfz4EO2z?= =?us-ascii?q?jE6wnztxxfDGJqXtAo/RIXjbjLfhYbF95lZAxwUpyNBf44tYCrUAIPLoRk/8r8?= =?us-ascii?q?fYDx88Mwys2enrEtR91oUEWWKOGKCVKq3SsUWQ7OI1P+aMfJMVuCr6K/U9+/7h?= =?us-ascii?q?l2Q5mUQcfaSy3JoXaXW4Ee98I0qDe3bsg9EBEX0LvgUkVuDqhkeCAnZvYCObW6?= =?us-ascii?q?s94HkVEoO9BoeLEompib2HmimhH4ZdZkhCB0CNH3aufIKBDaQiciWXd+1omSUZ?= =?us-ascii?q?WKPpZIY7zxChqQKyn7VuNPDV9TAVnZfqyNgz4eTckgA7sCEyBs/b0XnbHDI8pX?= =?us-ascii?q?8BWzJjhPM3mkd60FrWlPEg26UJR+wW3OtAV0IBDbCZyuV7D97oXQebJ4WMQUqm?= =?us-ascii?q?BNOvDjYgR5cshdYFJURlSY370kLzmhGyCrpQrISlQYQu+/iFjX34O8Y7zX/J07?= =?us-ascii?q?goykRgS8AJN3X03vcipTiWPJbAlgCir4jvdakY23SRpmKYi2+HoEEeVgd/VrTM?= =?us-ascii?q?GG1Zb0CQr8yrvk4=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AVBAAbu5FblwuCBoVbHAEBAQQBAQoBA?= =?us-ascii?q?YQ2fCiDcohxjVCYKgEKhGwCg3UGBjMVAQIBAQIBAQEBARMBAQEBAQgWBkwMgjU?= =?us-ascii?q?kAYJfAQUjHQEBNwEPCxgCAiYCAlcGgzSCAaN7b4EugnUBAQWBcIMCGYICCIELi?= =?us-ascii?q?WqCAIE5H4IeLoR+gwExgiaGLQeHeY1GCY9/F4EyhyKGE5EZgmOBV4F3TTg7KgG?= =?us-ascii?q?CQT6BWxqGVIdbYI1eAQE?= X-IPAS-Result: =?us-ascii?q?A0AVBAAbu5FblwuCBoVbHAEBAQQBAQoBAYQ2fCiDcohxjVC?= =?us-ascii?q?YKgEKhGwCg3UGBjMVAQIBAQIBAQEBARMBAQEBAQgWBkwMgjUkAYJfAQUjHQEBN?= =?us-ascii?q?wEPCxgCAiYCAlcGgzSCAaN7b4EugnUBAQWBcIMCGYICCIELiWqCAIE5H4IeLoR?= =?us-ascii?q?+gwExgiaGLQeHeY1GCY9/F4EyhyKGE5EZgmOBV4F3TTg7KgGCQT6BWxqGVIdbY?= =?us-ascii?q?I1eAQE?= X-IronPort-AV: E=Sophos;i="5.53,340,1531778400"; d="scan'208";a="278040219" Received: from bsd20.math.nagoya-u.ac.jp (HELO ms.math.nagoya-u.ac.jp) ([133.6.130.11]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 07 Sep 2018 01:45:13 +0200 Received: from [192.168.0.12] (58x158x128x157.ap58.ftth.ucom.ne.jp [58.158.128.157]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ms.math.nagoya-u.ac.jp (Postfix) with ESMTPSA id 934748936A6; Fri, 7 Sep 2018 08:45:10 +0900 (JST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=math.nagoya-u.ac.jp; s=20160220; t=1536277510; bh=2dRgwywfwKpAk4RrMylmIcKqZuj8Wdd1vpepdJ/vxhk=; h=Subject:From:In-Reply-To:Date:Cc:References:To; b=gcfVaxmTvHRRVJhtsoQh/iBSQexGtCS7qFJbQFzfcdji+Vpcy7Yg7jzvlhW+Wu5hq oi8I4h0/FoLJCCGVBgTKJF3HN+VnPYVSxwbcH1kpM7YUBgCD3E8lDxZb/8Gh6F/erE +5bL9AdVcOF6Gz1gpnkYs9FfxW33rDrti7mV4d68= Content-Type: text/plain; charset=utf-8 Mime-Version: 1.0 (Mac OS X Mail 11.5 \(3445.9.1\)) From: Jacques Garrigue In-Reply-To: Date: Fri, 7 Sep 2018 08:45:08 +0900 Cc: Enrico Tassi , Mailing List OCaml Content-Transfer-Encoding: quoted-printable Message-Id: <19F1F466-19C4-482E-BB2E-553047888A2E@math.nagoya-u.ac.jp> References: <20180906113622.lcuamhs6g6juv2r5@gargamel> <3bd16eb6-392e-51ea-03e0-1180ee47d2e5@lexifi.com> To: Alain Frisch X-Mailer: Apple Mail (2.3445.9.1) X-Greylist: Sender succeeded SMTP AUTH, not delayed by milter-greylist-4.6.2 (ms.math.nagoya-u.ac.jp [0.0.0.0]); Fri, 07 Sep 2018 08:45:10 +0900 (JST) X-Virus-Scanned: clamav-milter 0.99.2 at bsdserver20 X-Virus-Status: Clean X-Spam-Checker-Version: SpamAssassin 3.4.1 (2015-04-28) on bsdserver20.math.nagoya-u.ac.jp Subject: Re: [Caml-list] How to rename a record field On 2018/09/07 01:21, Alain Frisch wrote: >=20 > On 06/09/2018 18:20, Alain Frisch wrote: >> Btw, it might be interesting to allow deprecating the presence or absenc= e of fields. >=20 > Sorry, I meant the presence or absence of *optional arguments*, of course. Interesting idea. This should be easily doable, for instance by extending the Asttypes.arg_la= bel type. By deprecating the absence, do you mean having a warning when the argument = is ommited? Wouldn=E2=80=99t it mean having two distinct deprecation annotations for op= tional arguments? Jacques=