[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