2 Nov
2009
2 Nov
'09
6:26 a.m.
On Sun, Nov 1, 2009 at 12:31 PM, Heinrich Apfelmus <apfelmus@quantentunnel.de> wrote:
David Menendez wrote:
On Sun, Nov 1, 2009 at 7:12 AM, Heinrich Apfelmus <apfelmus@quantentunnel.de> wrote:
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?
No optimization.
Do you get the same results if you compile with -O2? Or does that screw up criterion somehow? -- Dave Menendez <dave@zednenem.com> <http://www.eyrie.org/~zednenem/>