and / or

David Feuer david.feuer at gmail.com
Tue Aug 19 07:21:55 UTC 2014


On Tue, Aug 19, 2014 at 3:07 AM, Simon Peyton Jones
<simonpj at microsoft.com> wrote:

> | Oh, I see now. If it doesn't fuse, it performs extra operations,
> | because we want foldr1 rather than foldr, and foldr1 is not so nice for
> | fusion.
>
> I don't understand that at all.  I see no foldr1 in the current impl of and/or.

That's because it's not there. I imagined it entirely. Sorry.


More information about the Libraries mailing list