Re: Ironclad C++

[Walter Bright]

On 8/4/2013 7:04 AM, deadalnix wrote:

What a bout a function which is pure depending on if a function passed as
parameter is pure or not ? or return a function the same way ?

This is where attribute inference comes into play.