#7805: Panic: promoteType with higher-rank datatype -------------------------------+-------------------------------------------- Reporter: goldfire | Owner: Type: bug | Status: new Priority: normal | Component: Compiler Version: 7.7 | Keywords: DataKinds Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: Compile-time crash | Blockedby: Blocking: | Related: -------------------------------+-------------------------------------------- Comment(by simonpj@…): commit 7501a2c3a181a53789e4f4462847295354042849 {{{ Author: Simon Peyton Jones <simonpj@microsoft.com> Date: Wed Apr 3 14:38:14 2013 +0100 Fix Trac #7805: don't allow nested foralls in promoted types compiler/typecheck/TcTyDecls.lhs | 23 +++++++++-------------- 1 files changed, 9 insertions(+), 14 deletions(-) }}} -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7805#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler