[Agda] hot computer churns codata

[Andrés Sicard-Ramírez]

Hi Conor,

2009/5/20 Andrés Sicard-Ramírez <andres.sicard.ramirez at gmail.com>:
>
> I don't know how change the stack for ghci inside Agda.

My self answer. From the GHC manual (section. 4.14.1):

RTS options are also taken from the environment variable GHCRTS. For
example, to set the maximum heap size to 128M for all GHC-compiled
programs (using an sh-like shell):

  GHCRTS='-M128m'
  export GHCRTS


Setting the -Ksize variable I could type check the file from the emacs
interface.

Best.

-- 
Andrés