Use commas to separate thousands when printing memory stats
|Reported by:||ErlendH||Owned by:|
|Type of failure:||None/Unknown||Test Case:|
|Related Tickets:||Differential Revisions:|
In GHCi, by enabling printing of timing/memory stats after each evaluation (:set +s), the memory stats is printed in bytes. When this number is quite large, it's hard to see – at a glance – how much memory was used.
It would be nicer if this was printed as “1,200,000 bytes” instead of “1200000 bytes” as is the case now.
Change History (8)
Changed 15 months ago by ErlendH
comment:6 Changed 13 months ago by thoughtpolice
- Resolution set to fixed
- Status changed from patch to closed