On 4/1/18 9:46 AM, Jonathan M Davis wrote: > In principle, a function which has const parameters could be treated as > strongly pure if it's given immutable arguments I want to give coders leeway to cheat on that. I'll explain later (allocators).