Skip to content

LaTeX: fix printing of type variable bindings

Vladislav Zavialov requested to merge wip/latex-tyvarbndrs into ghc-head

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.

Merge request reports