Summary

Add peak (and average?) memory usage to `time` macro

Metadata

Description

We already print this with `-:g` so it shouldn't be too hard to record the max memory usage. This can be quite helpful when benchmarking.

Changes and comments

[2016-08-25 20:52:28 UTC] sjamaan set difficulty to easy

[2017-01-24 12:43:02 UTC] kooda changed status from new to closed

[2017-01-24 12:43:02 UTC] kooda set resolution to fixed

[2017-01-24 12:43:02 UTC] kooda wrote:

Done in f311543a / 58e6c5d5