Against enforce()

[Simen kjaeraas]

On Fri, 18 Mar 2011 11:02:13 +0100, Kagamin <spam at here.lot> wrote:

> Don Wrote:
>
>> > Pure functions calling weakly pure functions are also weakly pure and  
>> so on.  This effectively leaves you without purity.
>>
>> I presume you mean "Pure functions calling weakly pure functions *would
>> also be* weakly pure and so on." ?
>
> What's the difference?

Your original statement seems to indicate that strongly pure functions
would be reduced to weakly pure if they call weakly pure functions.

-- 
Simen