[Agda] TeX capacity exceeded

[Andreas Abel]

Using latex or pdflatex both work fine for me.  Since I am a naive LaTeX 
user, I cannot suggest much.  I attach the log file.

Note: I am using the latest darcs repo version of Agda.  The --latex 
backend has seen some changes that are not yet released.

Cheers,
Andreas

On 09.01.2014 22:42, Amr Sabry wrote:
> I have been having serious problems when generating latex from
> Agda. After generating a couple of pages of code, I get a "TeX capacity
> exceeded". After looking at the tex configuration etc. I don't think the
> error is from the tex side. I am including the lagda source and would
> appreciate it if someone can test it and see if the latex output
> compiles without errors. A copy of their memory configuration for tex
> would be appreciated in that case. I am guessing the one number that
> matters most is save_size. Thanks. --Amr
>
> P.S. If I remove either of the last two definitions (apfInv or apfComp),
> I can produce a pdf without errors. So I know each definition is correct
> by itself. When both definitions are included I get the error. Thanks
> again.
>
>
>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>

-------------- next part --------------
A non-text attachment was scrubbed...
Name: circle.log
Type: text/x-log
Size: 45259 bytes
Desc: not available
Url : http://lists.chalmers.se/pipermail/agda/attachments/20140110/44907530/circle-0001.bin