On 11/02/2015 03:24 PM, Timon Gehr wrote: > @noescape in the presented form is not modular, which will be painful > outside toy examples. I thought it can be made modular (save the attribute with the function signature, allow @noescape arguments to go to @noescape etc). What am I missing? Thx! -- Andrei