[GHC] #1241: Functional dependency Coverage Condition is lifted, and should not be

[GHC]

#1241: Functional dependency Coverage Condition is lifted, and should not be
-------------------------------------+--------------------------------------
 Reporter:  guest                    |          Owner:         
     Type:  bug                      |         Status:  new    
 Priority:  normal                   |      Milestone:  6.8    
Component:  Compiler (Type checker)  |        Version:  6.6    
 Severity:  normal                   |     Resolution:         
 Keywords:                           |     Difficulty:  Unknown
 Testcase:                           |   Architecture:  Unknown
       Os:  Unknown                  |  
-------------------------------------+--------------------------------------
Comment (by Stefan O'Rear <stefanor at cox.net>):

 Last I checked, the Coverage Condition is incompatible with MTL, so we
 *really* shouldn't make the CC mandatory.  (I'm not against a general
 refactor of -fallow-undecidable-instances into smaller, more self-
 documenting pieces, as long as the functionality is still there)

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1241>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
-------------- next part --------------
_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs at haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs