DData

Simon Marlow wrote:
> I'm not sure what page faults is measuring, but the fact that you get
> significantly different results today is disturbing!
Today there's additionally running a fat (600MB) vmware on davinci.
I thought page faults somehow correlate with memory consumption. Have
you a better idea to measure time and space? I did profiling as well,
but then sometimes profiling dates (-p) became better, while actual
performance decreased.
> You can play the {-# UNPACK #-} trick in the IntMap code too, BTW.
-- | A map of integers to values @a at .
data IntMap a = Nil
| Tip !Key a
| Bin !Prefix !Mask !(IntMap a) !(IntMap a)
On Prefix and Mask?
When I omitted the "!" in " !k a !(Map k a) !(Map k a)"
time was faster but page faults increased:
Map-only: 7.37 29767
Christian