4 Jul
2002
4 Jul
'02
1:05 p.m.
On Thu, Jul 04, 2002 at 02:31:47PM +0200, Martin Norb?ck wrote:
ons 2002-07-03 klockan 15.50 skrev Dylan Thurston:
In the definition of 'done' in QuickCheck, there is the following definition:
percentage n m = show ((100 * n) `div` m) ++ "%"
There may be specific reasons for wanting to round downwards, but failing that, a more accurate function would be
percentage n m = show ((200 * n + m) `div` (2 * m)) ++ "%"
I would say there are good reasons for rounding down. You don't want it to say 100% until is completely done, for instance.
As it happens, this function is only called for the grouping of the data (like 66% trivial, 33% interesting), where I might argue that you do want rounding. Not a big deal either way. --Dylan