Refactor kcHsTyVarBndrs
authorSimon Peyton Jones <simonpj@microsoft.com>
Thu, 7 Dec 2017 14:31:53 +0000 (14:31 +0000)
committerSimon Peyton Jones <simonpj@microsoft.com>
Fri, 8 Dec 2017 15:42:55 +0000 (15:42 +0000)
commitde2044098ae96245aa741fe1b47a06a996a1c725
treebab680b1439b3241a532b93fabe6c6246ea8913a
parente4a1f032da39d8ee58498962cdc9bf5fed7b376e
Refactor kcHsTyVarBndrs

This refactoring

* Renames kcHsTyVarBndrs to kcLHsQTyVars,
  which is more truthful. It is only used in getInitialKind.

* Pulls out bind_telescope from that function, and calls it
  kcLHsTyVarBndrs, again to reflect its argument

* Uses the new kcLHsTyVarBndrs in kcConDecl, where the old
  function was wild overkill.

There should not be any change in behaviour
compiler/typecheck/TcHsType.hs
compiler/typecheck/TcTyClsDecls.hs