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 _______________________________________________ Haskell-prime mailing list Haskell-prime@haskell.org http://www.haskell.org/mailman/listinfo/haskell-prime
