[Agda] type check performance

Nils Anders Danielsson nad at cse.gu.se
Tue Mar 31 15:15:25 CEST 2015


On 2015-03-31 14:32, Sergei Meshveliani wrote:
> Also the `top' command shows that  ghc  sometimes takes  98%  of the
> 16Gb memory despite this  -M10G.

The RTS options supplied to Agda are not forwarded to GHC. You can use
--ghc-flag to set GHC flags:

   agda ... --ghc-flag=+RTS --ghc-flag=-M10G --ghc-flag=-RTS

-- 
/NAD


More information about the Agda mailing list