[Agda] Performance tips and profiling memory usage

Nils Anders Danielsson nad at cse.gu.se
Thu May 2 11:46:09 CEST 2019


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


More information about the Agda mailing list