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