Have addModFinalizer expose the local type environment.
authorFacundo Domínguez <facundo.dominguez@tweag.io>
Tue, 20 Dec 2016 11:39:10 +0000 (08:39 -0300)
committerFacundo Domínguez <facundo.dominguez@tweag.io>
Fri, 6 Jan 2017 18:17:23 +0000 (15:17 -0300)
commitc1ed9557ad4e40caa72b27693527e02887ddd896
tree4b5910cb78266f377a073706267ad268397a3fee
parentc5452cc1a67e344ea694851d83e2534a6d829e45
Have addModFinalizer expose the local type environment.

Kind inference in ghci was interfered when renaming of type splices
introduced the HsSpliced data constructor. This patch has kind
inference skip over it.

Test Plan: ./validate

Reviewers: simonpj, rrnewton, bgamari, goldfire, austin

Subscribers: thomie, mboes

Differential Revision: https://phabricator.haskell.org/D2886

GHC Trac Issues: #12985
compiler/typecheck/TcHsType.hs
testsuite/tests/ghci/scripts/GhciKinds.script
testsuite/tests/ghci/scripts/GhciKinds.stdout