[Agda] .agdai weirdness
Conor McBride
conor at strictlypositive.org
Sun Mar 2 17:33:17 CET 2008
Hi Ulf
On 2 Mar 2008, at 12:53, Ulf Norell wrote:
>
> It's a stack overflow
That would explain the difficulty in producing
a small version of the problem!
> (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 interface file:
>
> agda Syntacticosmos.agda +RTS -K32M
>
> After this loading up UntypedLambda works fine in the emacs mode.
> Of course, you'll have to repeat the process everytime you change
> the libraries.
That's certainly manageable.
Many thanks
Conor
More information about the Agda
mailing list