[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