Boost logo

Boost :

Subject: Re: [boost] [outcome] Second high level summary of review feedback accepted so far
From: Niall Douglas (s_sourceforge_at_[hidden])
Date: 2017-05-31 20:45:41


On 31/05/2017 21:08, Vicente J. Botet Escriba wrote:
> Le 31/05/2017 à 14:04, Niall Douglas via Boost a écrit :
>> On 30/05/2017 22:28, Vicente J. Botet Escriba wrote:
>>> Do we want to banish narrow contract in this library as if this kind of
>>> access was the leprose?
>> People have the statically checked varieties available to them if they
>> want narrow contracts.
>>
> What if I want both?

You can't have a statically checked function which is always legal to
call. The static analyser couldn't claim calling it to be suspicious.

Niall

-- 
ned Productions Limited Consulting
http://www.nedproductions.biz/ http://ie.linkedin.com/in/nialldouglas/

Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk