We need a way to make functions pure and/or nothrow based on the purity and/or nothrowability of the functions that they call

2010-11-14 Thread Jonathan M Davis
That is, there are plenty of cases where template code may or may not be able to pure or nothrow and that whether it can or not depends on what it's templatized on. For instance, if you had a range which iterated over a range of characters in some manner (other than simply iterating over it as

Re: We need a way to make functions pure and/or nothrow based on the purity and/or nothrowability of the functions that they call

2010-11-14 Thread Philippe Sigaud
On Sun, Nov 14, 2010 at 10:56, Jonathan M Davis wrote: > Does anyone have some good suggestions on how to solve this issue? IIRC, I posted something related to this 2-3 months ago, though I don't know if that was a real solution. That was for pure only, but that could be extended to pure¬hrow. Th

Re: We need a way to make functions pure and/or nothrow based on the purity and/or nothrowability of the functions that they call

2010-11-14 Thread Tomasz Sowiński
== Quote from Jonathan M Davis (jmdavisp...@gmx.com)'s article > [snip] > We really need to add a way to have a function marked as nothrow and/or pure > based on whether the functions that it calls are nothrow and/or pure. Whether > that should require listing the functions that need to be pure and

Re: We need a way to make functions pure and/or nothrow based on the purity and/or nothrowability of the functions that they call

2010-11-14 Thread Jonathan M Davis
On Sunday 14 November 2010 07:07:11 Philippe Sigaud wrote: > On Sun, Nov 14, 2010 at 10:56, Jonathan M Davis wrote: > > Does anyone have some good suggestions on how to solve this issue? > > IIRC, I posted something related to this 2-3 months ago, though I > don't know if that was a real solution

Re: We need a way to make functions pure and/or nothrow based on the purity and/or nothrowability of the functions that they call

2010-11-14 Thread Jonathan M Davis
On Sunday 14 November 2010 07:18:24 Tomasz Sowiński wrote: > == Quote from Jonathan M Davis (jmdavisp...@gmx.com)'s article > > > [snip] > > We really need to add a way to have a function marked as nothrow and/or > > pure based on whether the functions that it calls are nothrow and/or > > pure. Wh