You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I think "space" and "data size" could use one more sentence to explain what they actually benchmark.
For example I would have expected space to measure maximum memory usage not allocations. Only after lookup up what weigh does it became clearer that it's about allocations.
Similar "data size" was not at all self explanatory to me (until looking up the package).
Otherwise great work and I will use this as another data point to benchmark my GHC changes!
The text was updated successfully, but these errors were encountered:
I think "space" and "data size" could use one more sentence to explain what they actually benchmark.
For example I would have expected space to measure maximum memory usage not allocations. Only after lookup up what weigh does it became clearer that it's about allocations.
Similar "data size" was not at all self explanatory to me (until looking up the package).
Otherwise great work and I will use this as another data point to benchmark my GHC changes!
The text was updated successfully, but these errors were encountered: