Fix #11785 by making reifyKind = reifyType

Authored by RyanGlScott on Aug 17 2017, 9:07 AM.


Fix Trac #11785 by making reifyKind = reifyType

This ties up the last loose end in Template Haskell's separate
code paths for types and kinds. By making reifyKind = reifyType in
TcSplice, types and kinds are now treated on equal terms in TH.

This is itself a small patch, but most of the heavy lifting to make this
possible was done in ad7b945257ea262e3f6f46daa4ff3e451aeeae0b.

Test Plan: ./validate

Reviewers: goldfire, austin, bgamari

Reviewed By: goldfire

Subscribers: rwbarton, thomie

GHC Trac Issues: Trac #11785

Differential Revision: