Proposal: making inits and tails less strict

Henning Thielemann lemming at henning-thielemann.de
Fri Mar 18 13:00:23 CET 2011


On Fri, 18 Mar 2011, Isaac Dupree wrote:

> On 03/18/11 04:06, Bas van Dijk wrote:
>>
>> prop_lazyInits xs = head (inits xs) == []
>> ...
>
> By the way, QuickCheck can't really check laziness properties.

Sure it can. How about

prop_lazyInitsUndefined = head (inits undefined) = []

?



More information about the Libraries mailing list