
1 Nov
2009
1 Nov
'09
12:10 p.m.
On Sun, Nov 1, 2009 at 7:12 AM, Heinrich Apfelmus
Even then, the results are mixed. The Church-encoding shines in GHCi as it should, but loses its advantage when the code is being compiled. I guess we have to look at the core if we want to know what exactly is going on.
What optimization level did you compile with?
--
Dave Menendez