[GHC] #5988: Safe Haskell doesn't report all reasons why safe inference fails

[GHC]

#5988: Safe Haskell doesn't report all reasons why safe inference fails
-----------------------------------------------+----------------------------
 Reporter:  dterei                             |          Owner:  dterei          
     Type:  bug                                |         Status:  new             
 Priority:  normal                             |      Component:  Compiler        
  Version:  7.4.1                              |       Keywords:                  
       Os:  Unknown/Multiple                   |   Architecture:  Unknown/Multiple
  Failure:  Incorrect warning at compile-time  |       Testcase:                  
Blockedby:                                     |       Blocking:                  
  Related:                                     |  
-----------------------------------------------+----------------------------
Changes (by dterei):

 * cc: igloo (added)


Comment:

 Ian,

 So I have made patches that fix this and pushed to head. Back porting them
 to 7.4 isn't 100% straight forward so I've also made patches against 7.4.
 I'll attach them to this patch. Please either merge them into the 7.4.2
 release or I'm happy to push them to the 7.4 branch if that works better
 for you.

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