LaTeX: fix printing of type variable bindings

Consider this type signature:

kindOf :: forall {k} (a :: k). Proxy a -> Proxy k

Prior to this fix, the LaTeX backend rendered it like this:

kindOf :: forall k a. Proxy a -> Proxy k

Now we preserve explicit specificity and kind annotations.

Instructions to check this locally:

$ hadrian/build -j --flavour=Quick --freeze1 stage2:exe:haddock
$ _build/stage1/bin/haddock Example.hs --latex
$ pdflatex main.tex

added 1 commit

• 3c4a199c - LaTeX: fix printing of type variable bindings

Compare with previous version

Merged in https://github.com/haskell/haddock/pull/1545

closed