[GHC] #8946: Using hdevtools caused "Evaluated the place holder for a PostTcKind"
#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 Keywords: | Operating System: MacOS X Architecture: x86_64 (amd64) | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ----------------------------------+--------------------------------- I was tying to get hdevtools to work, and cloned it and pulled in a bunch of the open pull requests. You can see the state it's in at github.com/tbelaire/hdevtools. {{{ git clone git@github.com:tbelaire/hdevtools cd hdevtools cabal sandbox init cabal install cd .. }}} I could not reproduce the problem on a small test file, so I'm afraid I'll have to demonstrate it on my vinyl-json package. {{{ git clone git@github.com:tbelaire/vinyl-json cd vinyl-json/ cabal sandbox init cabal install hdevtools type src/Data/Vinyl/JSON.hs 42 15 panic! (the 'impossible' happened) (GHC version 7.8.20140130 for x86_64-apple-darwin): Evaluated the place holder for a PostTcKind Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug }}} I also get hpc has closed due to a problem a lot when compiling things, but I think that's unrelated. The dynamic lib seems to be gone. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8946 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#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
#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 simonpj): That field is filled in by the type checker. If you look at it before then, you get the error thunk. I don't think it's a GHC bug. Simon -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8946#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#8946: Using hdevtools caused "Evaluated the place holder for a PostTcKind" ---------------------------------+-------------------------------------- Reporter: tbelaire | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 7.8.1-rc1 Resolution: invalid | Keywords: Operating System: MacOS X | Architecture: x86_64 (amd64) Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | ---------------------------------+-------------------------------------- Changes (by thomie): * status: new => closed * resolution: => invalid Comment: https://github.com/hdevtools/hdevtools/ seems to be active. This issue has probably been fixed, and wasn't a GHC bug to begin with. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8946#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
participants (1)
-
GHC