[std-interval] More on interval computations as proofs

Gabriel Dos Reis gdr at integrable-solutions.net
Sun Oct 1 18:34:40 PDT 2006


Guillaume Melquiond <guillaume.melquiond at ens-lyon.fr> writes:

| Le samedi 30 septembre 2006 à 14:44 -0700, Steve Clamage a écrit :
| > About errno, ignoring threading issues:
| [...]
| > Using errno as a reliable and general-purpose error indicator is not 
| > realistic.
| 
| I would like to stress that Sylvain's suggestion was not about using
| errno. He only mentioned errno because implementations supporting
| threads already have the correct thread-local semantic for it.

Yes but , perhaps, one of the most important point that seems missed
is not just thread-safety issue but the composition issue Steve
elaborated on in his message.  Please do carefully and seriously
consider thatose aspects in  your propposal.  The issues raised are valid
for any errno-like (e.g. global variable) indicator.  That is not
stressed enough I suspect.  When LWG and the committee will consider
the proposal, bear in mind that both implementation effort and impact
on user codes will be considered.  It is not enough to say "oh,
implementations just need to care about 13 functions".

-- Gaby




More information about the Std-interval mailing list