Skip to content

Expand type synonyms with :kind!

Ryan Scott requested to merge wip/T13795-T18828 into master

The User's Guide claims that :kind! should expand type synonyms, but GHCi wasn't doing this in practice. Let's just update the implementation to match the specification in the User's Guide.

Fixes #13795 (closed). Fixes #18828 (closed).

Merge request reports