[GHC] #1706: type checking does not terminate for ghc-6.8.0.20070916

[GHC]

#1706: type checking does not terminate for ghc-6.8.0.20070916
-----------------------------------------+----------------------------------
    Reporter:  Christian.Maeder at dfki.de  |        Owner:  simonpj
        Type:  bug                       |       Status:  new    
    Priority:  normal                    |    Milestone:  6.8.1  
   Component:  Compiler                  |      Version:  6.8    
    Severity:  normal                    |   Resolution:         
    Keywords:                            |   Difficulty:  Unknown
          Os:  Linux                     |     Testcase:         
Architecture:  x86                       |  
-----------------------------------------+----------------------------------
Comment (by Christian.Maeder at dfki.de):

 Yes, I tried `-XPartiallyAppliedClosedTypeSynonyms` (see my above ghc-
 command line under "For reproduction do.") Increasing the stack size (to
 20m) leads to "non-termination".

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1706>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler