Generated LaTeX fails to compile for tests about catala

[denismerigoux]

Oh I think this is a glitch coming from the pandoc LaTeX generation and the packages it expects to render code blocks. Let me look but I think we need to add a package in the preamble.

[AltGr]

I remember trying to quickly work around it some time ago without success, but I don't have your skillz with LaTeX ;)

[denismerigoux]

From https://pandoc.org/MANUAL.html :

When using LaTeX, the following packages need to be available (they are included with all recent versions of TeX Live): amsfonts, amsmath, lm, unicode-math, iftex, listings (if the --listings option is used), fancyvrb, longtable, booktabs, graphicx (if the document contains images), hyperref, xcolor, soul, geometry (with the geometry variable set), setspace (with linestretch), and babel (with lang). If CJKmainfont is set, xeCJK is needed. The use of xelatex or lualatex as the PDF engine requires fontspec. lualatex uses selnolig. xelatex uses bidi (with the dir variable set). If the mathspec variable is set, xelatex will use mathspec instead of unicode-math. The upquote and microtype packages are used if available, and csquotes will be used for typography if the csquotes variable or metadata field is set to a true value. The natbib, biblatex, bibtex, and biber packages can optionally be used for citation rendering. The following packages will be used to improve output quality if present, but pandoc does not require them to be present: upquote (for straight quotes in verbatim environments), microtype (for better spacing adjustments), parskip (for better inter-paragraph spaces), xurl (for better line breaks in URLs), bookmark (for better PDF bookmarks), and footnotehyper or footnote (to allow footnotes in tables).

[denismerigoux]

Adding the relevant packages mentionned above here : https://github.com/CatalaLang/catala/blob/master/compiler/literate/latex.ml#L64 should do the trick

[denismerigoux]

@AltGr this package provides the shaded environment : https://www.ctan.org/pkg/framed