Re: Motion 42: NO
On 2013-02-16 17:56:31 +0000, John Pryce wrote:
> 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.
Note that the "emp" decoration allowed one to get emptiness
information in compressed arithmetic. I'm not against the
change about "emp", but you should be aware of that (I would
not be a user of compressed arithmetic, so that I don't know
whether this would be important).
--
Vincent Lefèvre <vincent@xxxxxxxxxx> - Web: <http://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)