Skip to content
Snippets Groups Projects
Commit b6ee0e5b authored by Vladislav Zavialov's avatar Vladislav Zavialov Committed by Matthew Pickering
Browse files

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.
parent cb01e4e2
No related branches found
No related tags found
No related merge requests found
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment