[PPL-devel] [GIT] ppl/ppl(master): Check for NaNs only when debugging.

[Roberto Bagnara]

Markus Elfring wrote:
>> +#ifndef NDEBUG
>>    typedef Checked_Number<T, Extended_Number_Policy> N;
>> +#else
>> +  typedef Checked_Number<T, WRD_Extended_Number_Policy> N;
>> +#endif
> 
> I assume that the prefix "WRD" indicates the debug data type.

Hi Mark,

this is work in progress.  We will probably rename the policy
when done.

> I would prefer to write the preprocessor instruction this way: #ifdef NDEBUG

Well, we have standardized on the other form.  In other words, in the PPL
"#ifndef NDEBUG" is idiomatic for "if debugging": we do not even observe
the double negation.
All the best,

    Roberto

-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it