search

slatex / sTeX

A semantic Extension of TeX/LaTeX
49 stars 9 forks source link

regression stex gets into an infinite loading loop #355

Closed kohlhase closed 1 year ago

kohlhase commented 1 year ago

I get a TeX capacity exceeded on the AI notes with error message

...

(/Users/kohlhase/localmh/MathHub/MiKoMH/GenCS/source/dmath/mod/indset.en.tex)
(/Users/kohlhase/localmh/MathHub/MiKoMH/GenCS/source/dmath/mod/lists.en.tex)
(/Users/kohlhase/localmh/MathHub/MiKoMH/GenCS/source/adt/mod/adt-ex.en.tex)
(/Users/kohlhase/localmh/MathHub/MiKoMH/GenCS/source/adt/mod/adt-ex.en.tex)
(/Users/kohlhase/localmh/MathHub/MiKoMH/GenCS/source/adt/mod/adt-ex.en.tex)
(/Users/kohlhase/localmh/MathHub/MiKoMH/GenCS/source/adt/mod/adt-ex.en.tex)
(/Users/kohlhase/localmh/MathHub/MiKoMH/GenCS/source/adt/mod/adt-ex.en.tex)
(/Users/kohlhase/localmh/MathHub/MiKoMH/GenCS/source/adt/mod/adt-ex.en.tex)
(/Users/kohlhase/localmh/MathHub/MiKoMH/GenCS/source/adt/mod/adt-ex.en.tex)
(/Users/kohlhase/localmh/MathHub/MiKoMH/GenCS/source/adt/mod/adt-ex.en.tex)
(/Users/kohlhase/localmh/MathHub/MiKoMH/GenCS/source/adt/mod/adt-ex.en.tex)
...

Something

kohlhase commented 1 year ago

@Jazzpirate maybe that accounts for the build server dying as well

kohlhase commented 1 year ago

I suspect that this comes from line 38 in adt-ex.en.tex 

      \importmodule{adt/mod/adt-ex?adt-uNat}

this used to work.

Jazzpirate commented 1 year ago

fixed in 72442a7ef40298156d49d343041ad472489d6f7c