On 8/24/10 1:55 PM, Jan-Willem Maessen wrote:
On Wed, Aug 18, 2010 at 9:56 PM, wren ng thornton<[email protected]> 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
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
