On Fri, Mar 16, 2007 at 05:00:15PM +0000, Jón Fairbairn wrote:
> Does it? Mentally I translate that as
>
> let q = Y (\q -> FinCons 3 q) in q
>
but it would actually translate to
> let q = Y (\q -> q `seq` FinCons 3 q) in q
for strict fields, whenever a constructor appears, it is translated to
one which seq's its strict fields before creating the constructor.
so,
FinCons 3 q
desugars to
q `seq` FinCons 3 q wherever it appears,
strict fields have no effect on deconstructing data types.
John
--
John Meacham - ⑆repetae.net⑆john⑈
_______________________________________________
Haskell-prime mailing list
Haskell-prime@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-prime
