14 Jan
2012
14 Jan
'12
10:48 p.m.
On 12/12/11 3:37 PM, wren ng thornton wrote:
I've noticed that take and filter are good producers (and consumers) for list fusion, but takeWhile, drop, and dropWhile are not. Is there any reason for this discrepancy?
If not, would I need to go through the libraries@ process for fixing it, or should I just submit a patch?
In working on a patch to fix this I've come upon a question. The fusion rules for take seem a bit odd in that they translate the take into a foldr which produces (Int# -> b), instead of passing the Int# in directly and using foldr to produce the b. Does anyone know why? -- Live well, ~wren