[Agda] weird behavior with large records

[Nils Anders Danielsson]

On 2010-06-02 19:02, Chris Casinghino wrote:
> I'm not sure how to see or adjust the size of the stack available to
> agda.

M-x customize-group RET haskell-ghci RET

Add three arguments to "Haskell Ghci Program Args":

   +RTS
   -K<maximum stack size, e.g. 40M>
   -RTS

State → Save for Future Sessions

--
/NAD