[GHC] #7294: -fdefer-type-errors doesn't produce a warning

[GHC]

#7294: -fdefer-type-errors doesn't produce a warning
------------------------------------------+---------------------------------
  Reporter:  Feuerbach                    |          Owner:                  
      Type:  bug                          |         Status:  merge           
  Priority:  normal                       |      Milestone:                  
 Component:  Compiler (Type checker)      |        Version:  7.6.1           
Resolution:  fixed                        |       Keywords:                  
        Os:  Unknown/Multiple             |   Architecture:  Unknown/Multiple
   Failure:  GHC accepts invalid program  |     Difficulty:  Unknown         
  Testcase:  gadt/T7293, T7294            |      Blockedby:                  
  Blocking:                               |        Related:                  
------------------------------------------+---------------------------------
Changes (by simonpj):

  * status:  closed => merge


Comment:

 Harump.  I'd forgotten that the branch has `-fdefer-type-errors` too. I
 think that the relevant patch is this one
 {{{
 commit 629d1f48b513be3cc662ea79376737dbcdb6b18f
 Author: Simon Peyton Jones <simonpj at microsoft.com>
 Date:   Thu Oct 4 17:54:38 2012 +0100

     Improve erorr location for Given errors

     Note [Inaccessible code].
     Fixes Trac #7293.

  compiler/typecheck/TcErrors.lhs  |   91
 +++++++++++++++++++++++---------------
  compiler/typecheck/TcRnTypes.lhs |    5 ++-
  2 files changed, 59 insertions(+), 37 deletions(-)
 }}}
 It may require a little adjustment to account for the fact that the branch
 does not have "holes".  I'm not sure it's worth much effort, but perhaps
 worth a go.

 Simon

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