Alternative proposal to privateName.public

David Bruant bruant.d at
Thu Dec 22 05:29:53 PST 2011

Le 22/12/2011 13:20, Tom Van Cutsem a écrit :
> At first, I shared Andreas's concern about introducing a flag in
> feature X that only seems to affect a superficially unrelated feature Y.
> However, having skimmed the private names page, I stumbled upon a
> section that seems to want to introduce precisely such a flag for
> different but related purposes:
> <>
> Having also just read about the different use cases of "private" names
> versus just "unique" names,
Can you give a link to or describe these uses cases? It will make easier
(at least to me) understanding your proposal and compare it with other



More information about the es-discuss mailing list