From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <daniel.buenzli@erratique.ch>
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 B37727EEBF
	for <caml-list@sympa.inria.fr>; Mon,  3 Aug 2015 17:22:56 +0200 (CEST)
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  daniel.buenzli@erratique.ch) identity=pra;
  client-ip=74.55.86.74;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="daniel.buenzli@erratique.ch";
  x-sender="daniel.buenzli@erratique.ch";
  x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  daniel.buenzli@erratique.ch) identity=mailfrom;
  client-ip=74.55.86.74;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="daniel.buenzli@erratique.ch";
  x-sender="daniel.buenzli@erratique.ch";
  x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@smtp.webfaction.com) identity=helo;
  client-ip=74.55.86.74;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="daniel.buenzli@erratique.ch";
  x-sender="postmaster@smtp.webfaction.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: A0DgAACTgb9Vm0pWN0pbGQEBAYdewTQCgXYBAQEBAQESAQEBAQEICQsJIS6EJAEBAQIBI1YFCwsaAiYCAkcQBhuIHggEtGuVSwEBCAEBAQEegSKKLYRVMweCaS+BFAWUeYxNgUaHAw8ijGmDZIQkgzoBAQE
X-IPAS-Result: A0DgAACTgb9Vm0pWN0pbGQEBAYdewTQCgXYBAQEBAQESAQEBAQEICQsJIS6EJAEBAQIBI1YFCwsaAiYCAkcQBhuIHggEtGuVSwEBCAEBAQEegSKKLYRVMweCaS+BFAWUeYxNgUaHAw8ijGmDZIQkgzoBAQE
X-IronPort-AV: E=Sophos;i="5.15,602,1432591200"; 
   d="scan'208";a="141920023"
Received: from mail6.webfaction.com (HELO smtp.webfaction.com) ([74.55.86.74])
  by mail3-smtp-sop.national.inria.fr with ESMTP; 03 Aug 2015 17:22:55 +0200
Received: from [192.168.2.3] (cpc16-cmbg14-2-0-cust300.5-4.cable.virginm.net [86.6.157.45])
	by smtp.webfaction.com (Postfix) with ESMTP id 61C2C211290E;
	Mon,  3 Aug 2015 15:22:53 +0000 (UTC)
Date: Mon, 3 Aug 2015 16:22:50 +0100
From: =?utf-8?Q?Daniel_B=C3=BCnzli?= <daniel.buenzli@erratique.ch>
To: octachron <octa@polychoron.fr>
Cc: Gabriel Scherer <gabriel.scherer@gmail.com>, Nils Becker
 <nils.becker@bioquant.uni-heidelberg.de>, Caml-list
 <caml-list@inria.fr>
Message-ID: <E08FFF5F19914AFEBD3F6D22267EC74E@erratique.ch>
In-Reply-To: <55BF8451.3060408@polychoron.fr>
References: <55BF6F1C.3050705@bioquant.uni-heidelberg.de>
 <BF0D69096EFA410695EC3AFB2CEEDABD@erratique.ch>
 <B52F2D68184048B39F261A5A96246437@erratique.ch>
 <55BF75F6.1040006@bioquant.uni-heidelberg.de>
 <8E1A640CE3374EB492981ADB0A2DA5C6@erratique.ch>
 <CAPFanBGu09VUy9UvHmU4_3FHyL_qQLvU35HWmt4PF-=8RCKAEw@mail.gmail.com>
 <55BF8451.3060408@polychoron.fr>
X-Mailer: sparrow 1.6.4 (build 1178)
MIME-Version: 1.0
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: quoted-printable
Content-Disposition: inline
Subject: Re: [Caml-list] destructive local opens

Le lundi, 3 ao=C3=BBt 2015 =C3=A0 16:10, octachron a =C3=A9crit :
> Splitting 44 between alphanumeric and other identifiers is a nice=20=20
> default but it sounds a little arbitrary.=20=20

I don't think it's arbitrary, it matches the use case for the M.() notation.
=20=20
> Like this, library writers could annotate identifiers that are intended
> to shadow predefined identifiers without any limitations, and cautious=20=
=20
> users could activate 53 to protect themselves from unexpected=20=20
> identifiers shadowing?

Somehow I prefer to have a well defined broad rule, rather than letting lib=
rary authors micro manage that. The benefit is that I can understand what i=
s happening by only looking at the expression I'm reading. With your propos=
al I also need to go read the library source to understand what is happenin=
g.

Best,

Daniel