Pure functions don't need synchronization. Pure functions should not be a subject to shared-ness.
On Tue, Oct 25, 2011 at 2:11 PM, Jonathan M Davis <jmdavisp...@gmx.com> wrote: > On Tuesday, October 25, 2011 14:08:53 Gor Gyolchanyan wrote: >> I agree, there's no point in requiring pureness, but this problem must >> be dealt with anyway. The user must never receive errors regarding >> invalid call of invariants. > > Sure, but this issue has nothing to do with purity. It has to do with shared. > > - Jonathan M Davis >