
#8861: Use commas to separate thousands when printing memory stats
-------------------------------+-------------------------------------------
Reporter: ErlendH | Owner:
Type: feature | Status: patch
request | Milestone:
Priority: lowest | Version: 7.6.3
Component: GHCi | Keywords:
Resolution: | Architecture: Unknown/Multiple
Operating System: | Difficulty: Easy (less than 1 hour)
Unknown/Multiple | Blocked By:
Type of failure: | Related Tickets:
None/Unknown |
Test Case: |
Blocking: |
-------------------------------+-------------------------------------------
Comment (by ErlendH):
tibbe: Good point. I did a quick check, running nofib and looking at the
output. The file's `<