Building of book fails

[benediktahrens]

Hi,

I am getting the following error when trying to build the book:

Overfull \hbox (10.107pt too wide) in paragraph at lines 658--660
[][]\T1/zplTOsF/m/n/10 (-20) Let $\OML/npxmi/m/it/10 X$ \T1/zplTOsF/m/n/10 (-20
) be a type, and let $\OML/npxmi/m/it/10 T\LMS/npxsy/m/n/10 <B9>\OML/npxmi/m/it/10
 x\LMS/npxsy/m/n/10 <BA>$ \T1/zplTOsF/m/n/10 (-20) be a fam-ily of types parametri
zed
 []

[14 <./figures/38105F4EEB40E2E94694846BFF899FD5.pdf>]
Package hyperref Info: bookmark level for unknown construction defaults to 0 on
 input line 722.
! Use of \MakeUppercase    doesn't match its definition.
\MakeUppercase    ...case@aux {upper}{#1}{#2}\let 
                                                  \oe \kernel@saved@oe 
l.727 \begin{implementation}{lem:apcomp}

Here is how much of TeX's memory you used:
 6309 strings out of 421873
 139287 string characters out of 4658012
 2421491 words of memory out of 5000000
 79383 multiletter control sequences out of 15000+600000
 638181 words of font info for 301 fonts, out of 8000000 for 9000
 1143 hyphenation exceptions out of 8191
 60i,14n,79p,2002b,2457s stack positions out of 10000i,1000n,20000p,200000b,200000s

!  ==> Fatal error occurred, no output PDF file produced!
(END)

Do you have an idea for how to fix the build error, by any chance?

[UlrikBuchholtz]

Can you please try the version at fd28fb2 ? (I'm not at all sure why this happens, but this would be an easy fix, if it works.)

[benediktahrens]

Similar error, but in a different spot:

[16 <./figures/E362DDAF9FEA57264A0A700B4B847047.pdf>]
===== Image 'figures/445164961A62EEECFE06AF313EDB7E6F' is up-to-date. ======
===== Image 'figures/4EE6EB1804CBA59657AA93CABF0A8BCD' is up-to-date. ======

Overfull \hbox (12.85481pt too wide) in paragraph at lines 1032--1032
 [][]  
 []

[17 <./figures/445164961A62EEECFE06AF313EDB7E6F.pdf>]
Package hyperref Info: bookmark level for unknown lemma defaults to 0 on input 
line 1095.
[18 <./figures/4EE6EB1804CBA59657AA93CABF0A8BCD.pdf>]
Underfull \hbox (badness 1584) in paragraph at lines 1142--1142
 \T1/zplTOsF/m/n/8 (+20) so $[]\LMS/npxsy/m/n/8 ¹[]¹\OML/npxmi/m/it/8 t\LMS/npx
sy/m/n/8 ¹\OML/npxmi/m/it/8 y\LMS/npxsy/m/n/8 ººº \OT1/pplx/m/n/8 : \OML/npxmi/
m/it/8 X$ \T1/zplTOsF/m/n/8 (+20) with 
 []

[19]
! Use of \MakeUppercase    doesn't match its definition.
\MakeUppercase    ...case@aux {upper}{#1}{#2}\let 
                                                  \oe \kernel@saved@oe 
l.1193 We put \cref{lem:weq-iso}
                                 immediately to good use. 
Here is how much of TeX's memory you used:
 6501 strings out of 421873
 143235 string characters out of 4658012
 2436504 words of memory out of 5000000
 79498 multiletter control sequences out of 15000+600000
 642286 words of font info for 317 fonts, out of 8000000 for 9000
 1143 hyphenation exceptions out of 8191
 60i,18n,79p,2002b,2457s stack positions out of 10000i,1000n,20000p,200000b,200000s

!  ==> Fatal error occurred, no output PDF file produced!

I don't want to waste your time; if it works for you guys, I guess we should close this issue.

[pierrecagne]

I have no trouble with the current version of the repo. Cleverref uses \MakeUppercase to change the case of lemma to Lemma and so on, and this seems to be the issue somehow. What is surprising though is that it complains at line 1193 only, while other crefs have occurred by then...

EDIT. After a quick search, it is however the first cleverref to a lemma.

[UlrikBuchholtz]

I just installed TeX Live 2022 on my work machine and I ran into this same issue. There's definitely something strange about why this error occurs, but it's easy enough to work around: Just provide the capitalized names ourselves, so I did that for constructions in 1f049ec, and now the book builds on TeX Live 2022. @benediktahrens can you check that it now builds for you as well? Then we'll close the issue.

[pierrecagne]

LaTeX update 2022-06-01-PL4

Apparently the last version of $\LaTeX$ introduces changes in the definition of \MakeUppercase, breaking compatibility with several packages, including cleverref. So your workaround is necessary until the maintainers of the package patches the issue.

[benediktahrens]

It now builds - thanks a lot for fixing this!