[Agda] .agdai weirdness

Nils Anders Danielsson nils.anders.danielsson at gmail.com
Mon Mar 3 15:04:41 CET 2008


On Sun, Mar 2, 2008 at 11:14 PM, Makoto Takeyama
<makoto.takeyama at aist.go.jp> wrote:
>
>  > It's a stack overflow (i really should do something about that). I don't
>  > know how to (if it's even possible) to increase the stack for the
>  > emacs-mode, but what you can do is use the batch mode to generate the
>
>  No provision for that in emacs-mode

Yes (indirectly): Customise haskell-ghci-program-args to include +RTS
-K<stack size> -RTS (as three separate arguments).

-- 
/NAD


More information about the Agda mailing list