Re: Proposal: making inits and tails less strict

On 17 March 2011 21:09, Don Stewart wrote:

Could the strictness properties be stated in the specification (i.e. include some QuickCheck properties that define the strictness)

Good point. I will add the following strictness properties to the docs: inits ⊥ = [] : ⊥ tails ⊥ = ⊥ : ⊥ I'm not sure if we should add QC properties to the docs but we can have: prop_lazyInits xs = head (inits xs) == [] prop_isConsTails xs = case tails xs of [] → False _:_ → True Bas