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.