[GHC] #5395: Context reduction stack overflow without undecidable instances

[GHC]

#5395: Context reduction stack overflow without undecidable instances
-----------------------------------------+----------------------------------
    Reporter:  guest                     |        Owner:                           
        Type:  bug                       |       Status:  new                      
    Priority:  normal                    |    Milestone:                           
   Component:  Compiler                  |      Version:  7.0.4                    
    Keywords:  type family, termination  |     Testcase:                           
   Blockedby:                            |   Difficulty:                           
          Os:  Unknown/Multiple          |     Blocking:                           
Architecture:  Unknown/Multiple          |      Failure:  GHC rejects valid program
-----------------------------------------+----------------------------------

Comment(by simonpj):

 The trouble is that some module you import may have used
 `-XUndecidableInstances`, and that could cause your compilation to
 diverge, even if you are very well behaved.

 It'd be fine to set the threshold to a much larger value though.  How big
 does it have to be to avoid problems in your application?  Then multiply
 by 10?

 Simon

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