Skip to content

Improve haddocks for pattern synonyms

sheaf requested to merge sheaf/ghc:T26252 into master

This MR addresses #26252 (closed) by being more careful about existential variables when generating documentation for pattern synonyms. It also improves the general logic for deciding whether to print type variable kinds in foralls.

Edited by sheaf

Merge request reports