[GHC] #8946: Using hdevtools caused "Evaluated the place holder for a PostTcKind"

[GHC]

#8946: Using hdevtools caused "Evaluated the place holder for a PostTcKind"
---------------------------------+----------------------------------
        Reporter:  tbelaire      |            Owner:
            Type:  bug           |           Status:  new
        Priority:  normal        |        Milestone:
       Component:  Compiler      |          Version:  7.8.1-rc1
      Resolution:                |         Keywords:
Operating System:  MacOS X       |     Architecture:  x86_64 (amd64)
 Type of failure:  None/Unknown  |       Difficulty:  Unknown
       Test Case:                |       Blocked By:
        Blocking:                |  Related Tickets:
---------------------------------+----------------------------------

Comment (by monoidal):

 Simpler version: install hdevtools, and then create a file A.hs

 {{{
 {-# LANGUAGE DataKinds, KindSignatures #-}
 module A where

 data PlainRec :: [*] -> *
 x = undefined :: PlainRec '[sym]
 }}}

 and run `hdevtools type A.hs 1 1`. hdevtools seems to call GHC API, but I
 didn't get around to finding the offending call.

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8946#comment:1>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler