18 Mar
2011
18 Mar
'11
8 a.m.
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) = [] ?