[GHC] #7805: Panic: promoteType with higher-rank datatype

[GHC]

#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 at 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