[Haskell-cafe] and from standard Prelude
wren ng thornton
wren at freegeek.org
Wed Aug 25 01:09:15 EDT 2010
On 8/24/10 1:55 PM, Jan-Willem Maessen wrote:
> On Wed, Aug 18, 2010 at 9:56 PM, wren ng thornton<wren at freegeek.org> 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.
More information about the Haskell-Cafe