#7805: Panic: promoteType with higher-rank datatype ---------------------------------+------------------------------------------ Reporter: goldfire | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 7.7 Resolution: fixed | Keywords: DataKinds Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: Compile-time crash | Difficulty: Unknown Testcase: polykinds/T7805 | Blockedby: Blocking: | Related: ---------------------------------+------------------------------------------ Changes (by simonpj): * status: new => closed * difficulty: => Unknown * resolution: => fixed * testcase: => polykinds/T7805 Comment: Correct, thanks. Simon -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7805#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler