#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