[Agda] Performance tips and profiling memory usage

[Matthew Daggitt]

Thanks, it turns out I'd somehow accidentally switched to
Agda-2.5.4.2.20190330-26835b4 without noticing, which clearly had some sort
of performance regression. Using Agda-2.6.0 it now checks in under 1.5GB.

I guess it would still be great if the wiki page on performance could be
migrated to the new documentation and updated by someone in the know.
Apologies,
Matthew

On Thu, May 2, 2019 at 5:46 PM Nils Anders Danielsson <nad at cse.gu.se> wrote:

> On 02/05/2019 04.37, Matthew Daggitt wrote:
> >   The standard library has now reached the point where it's taking
> >   ~7GB of RAM to check which is obviously putting a strain on my 8GB
> >   laptop.
>
> The library test is run with the -M1.5G RTS option, which sets the
> maximum heap size to 1.5 GB.
>
> --
> /NAD
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20190502/6d5847e3/attachment.html>