diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2018-10-25 15:16:19 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2018-10-26 12:05:43 +0100 |
| commit | 4de4b2253caa685a39cc654d553cdf63b8babbee (patch) | |
| tree | 75d6eeaf4feebca4f8b767e8a6a0b0fc7091b26f /testsuite/tests/partial-sigs | |
| parent | e6bf96c9700aacbd75169dbf2cc14c9216c0133f (diff) | |
| download | haskell-4de4b2253caa685a39cc654d553cdf63b8babbee.tar.gz | |
Fix generalisation for type constructors
Fixing the way that we close-over-kinds when taking the
free vars of a type revealed that the way we generalise
type constructors was a bit wrong.
This fixes it. See TcTyClDecls
Note [Generalisation for type constructors]
Diffstat (limited to 'testsuite/tests/partial-sigs')
0 files changed, 0 insertions, 0 deletions