On Tuesday, 9 April 2013 at 14:06:31 UTC, Pelle Månsson wrote: > shouldn't be strongly pure (as it can access mutable non local > state). I was under impression that pure is about verifying what function actually does, not what it probably can.