Re: Reduction count as efficiency measure?

[Lennart Augustsson]

>       May I at least assume the implication:
>       reduction_count1 > reduction_count2 ==> time1 > time2 ?
I'm not sure how the reduction count is done in Hugs,
but if it simply counts G-machine instructions then
you can't assume even this.  It's likely to be true,
but G-machine instructions can vary quite a lot in
execution time.

          Lennart