Suggest import Data.Kinds when * is out of scope
authorRichard Eisenberg <eir@cis.upenn.edu>
Mon, 14 Dec 2015 14:02:54 +0000 (15:02 +0100)
committerBen Gamari <ben@smart-cactus.org>
Mon, 14 Dec 2015 14:34:03 +0000 (15:34 +0100)
commit023f11f562c7d08af121e4dac04ec66418e6923b
tree5c5624cacc11cee3f3bd7ae6680b6e20959d47bc
parent04ab55d9a6fe311b7cb544211738caca6c00c720
Suggest import Data.Kinds when * is out of scope

With -XTypeInType, `*` must be imported to be used. This patch makes
sure the user knows this.

But I'm not sure this is the best way to deal with `*`. Feedback welcome
on either this small fix or the approach to `*`, in general.

You may wish to see `Note [HsAppsTy]` in HsTypes if you want to take a
broader view.

Test Plan: dependent/should_fail/RenamingStar

Reviewers: simonpj, bgamari, austin

Subscribers: thomie

Differential Revision: https://phabricator.haskell.org/D1610
compiler/rename/RnEnv.hs
testsuite/tests/dependent/should_fail/RenamingStar.hs [new file with mode: 0644]
testsuite/tests/dependent/should_fail/RenamingStar.stderr [new file with mode: 0644]
testsuite/tests/dependent/should_fail/all.T