> Do input arguments of pure functions need the @transparent attributes? Is 
> dropping it ouside the pure subset of the program safe/acceptable? I think so.

Sorry, in my opinion the answers to those questions are no and yes.

Bye,
bearophile

Reply via email to