> Please do - I suspect that GHC structures can become quite large, > and though they might not be as big as that benchmark, the penalty > seems substrantial.
I will probably leave it for a short while, til I am on a better machine to run the necessary benchmarks. But I do want to track it down. > In the trace-instrumented experiments, I noticed that the type map for > Company is built right at the beginning, the type map for Salary > close to the end, with a lot of delay in between, suggesting a large > intermediate data structure between the two traversals might be > to blame. Shouldn't the two traversals be interleaved? Yes, they probably should. My best guess so far is that over-strictness means the entire data structure is constructed in memory before being processed, and that the slow-down is due to memory pressures. A few benchmarks should prove this. Thanks Neil _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
