Re: [Haskell-cafe] and from standard Prelude

On 8/24/10 1:55 PM, Jan-Willem Maessen wrote:

On Wed, Aug 18, 2010 at 9:56 PM, wren ng thornton wrote:

...

The thing I find puzzling is that the foldr is inlined. The (regular) clever optimizations for build/foldr seem like they should already handle this without the need for the extra rules. I wonder how much is gained by specializing to (&&)/True instead of relying on the regular deforestation?

The above code does not inline and / or, *unless they are fused using the RULES.* There's not really any benefit to inlining them otherwise, and it duplicates code.

Ah, that makes sense. Thanks. -- Live well, ~wren