diff options
| author | Ryan Scott <ryan.gl.scott@gmail.com> | 2018-10-01 12:05:12 -0400 |
|---|---|---|
| committer | Ryan Scott <ryan.gl.scott@gmail.com> | 2018-10-01 12:05:12 -0400 |
| commit | a57fa24746421c0e13d0c09b72cbabea3622779f (patch) | |
| tree | efa4ad972bfbc380088bec97f8df9bbb92a4e40e /docs/users_guide/bugs.rst | |
| parent | 309438e948359a0ae71ffac4a41ebcd855cf5657 (diff) | |
| download | haskell-a57fa24746421c0e13d0c09b72cbabea3622779f.tar.gz | |
Quantify class variables first in associated families' kinds
Summary:
Previously, `kcLHsQTyVars` would always quantify class-bound
variables invisibly in the kinds of associated types, resulting in
#15591. We counteract this by explicitly passing the class-bound
variables to `kcLHsQTyVars` and quantifying over the ones that are
mentioned in the associated type such that (1) they are specified,
and (2) they come before other kind variables.
See `Note [Kind variable ordering for associated types]`.
Test Plan: make test TEST=T15591
Reviewers: goldfire, simonpj, bgamari
Reviewed By: simonpj
Subscribers: rwbarton, carter
GHC Trac Issues: #15591
Differential Revision: https://phabricator.haskell.org/D5159
Diffstat (limited to 'docs/users_guide/bugs.rst')
0 files changed, 0 insertions, 0 deletions