Fix generalisation for type constructors
authorSimon Peyton Jones <simonpj@microsoft.com>
Thu, 25 Oct 2018 14:16:19 +0000 (15:16 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Fri, 26 Oct 2018 11:05:43 +0000 (12:05 +0100)
commit4de4b2253caa685a39cc654d553cdf63b8babbee
tree75d6eeaf4feebca4f8b767e8a6a0b0fc7091b26f
parente6bf96c9700aacbd75169dbf2cc14c9216c0133f
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]
compiler/typecheck/TcTyClsDecls.hs
compiler/typecheck/TcValidity.hs