[GHC] #940: GADT + impredicative polymorphism => stack overflow

[GHC]

#940: GADT + impredicative polymorphism => stack overflow
--------------------------------------------+------------------------------
        Reporter:  guest                    |         Owner:  simonpj
            Type:  bug                      |        Status:  closed
        Priority:  normal                   |     Milestone:
       Component:  Compiler (Type checker)  |       Version:  6.6
      Resolution:  fixed                    |      Keywords:
Operating System:  Unknown/Multiple         |  Architecture:
      Difficulty:  Unknown                  |  Unknown/Multiple
                                            |     Test Case:
--------------------------------------------+------------------------------

Comment (by simonpj <simonpj@…>):

 In [changeset:"e80ab122b5209af0cad7e651ee2589b2d9b4d32d/ghc"]:
 {{{
 #!CommitTicketReference repository="ghc"
 revision="e80ab122b5209af0cad7e651ee2589b2d9b4d32d"
 Test for Trac #940
 }}}

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/940#comment:5>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler