strict bits of datatypes

[apfelmus at quantentunnel.de]

Ross Paterson wrote:
> On Fri, Mar 16, 2007 at 05:40:17PM +0100, apfelmus wrote:
>> the translation loops
>> as we could (should?) apply
>>
>>     FinCons
>>  => \x y -> FinCons x $! y
>>  => \x y -> (\x' y' -> FinCons x' $! y') x $! y
>>  => ...
>>
>> ad infinitum.
> 
> Yes, perhaps that ought to be fixed. But even so, this clearly implies that
> 
> 	FinCons 3 _|_ = _|_
> 
> and thus that q is _|_ and nhc98/yhc have a bug.

Yes, I agree completely. I should have separated the observation that
the rewrite rule for the translation of strict constructors loops from
the business with q.

Regards,
apfelmus