Re: Motion 42: NO
Guillaume, P1788
On 13 Feb 2013, at 08:32, Guillaume Melquiond wrote:
> Le mardi 12 février 2013 à 13:26 -0500, Michel Hack a écrit :
>> Guillaume Melquiond wrote:
>>> ...I said that defining "ill" as meaning that a point-wise function has
>>> an empty domain is useless from the point of view of the standard.
>> Would it help if we said that _ill (and NaI) are to be used ONLY for
>> tracking bad constructions?
> Definitely.
It seems this practical definition of NaI would be preferred by many people.
> Though the words "bad constructions" might a bit
> restrictive. If the user explicitly poisoned a memory location with a
> NaI (e.g. to mark an uninitialized location), this is a valid use case
> but perhaps not covered by those words.
A good use case.
I propose to change the decorations text to reflect both these. Equally important, I propose to abolish "emp" entirely. This will need a bit of work, so the forthcoming Draft 7.x will take longer to appear.
Any reasons against the changes, please give them ASAP.
However I'm not persuaded so far by Guillaume's argument for changing the definition of "com".
John Pryce