Re: and / or

On Tue, Aug 19, 2014 at 3:07 AM, Simon Peyton Jones 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.