[GHC] #7827: GHC internal error: `a' is not in scope during type checking, but it passed the renamer

[GHC]

#7827: GHC internal error: `a' is not in scope during type checking, but it passed
the renamer
--------------------------------------+-------------------------------------
Reporter:  guest                      |          Owner:                  
    Type:  bug                        |         Status:  patch           
Priority:  normal                     |      Component:  Compiler        
 Version:  7.6.2                      |       Keywords:                  
      Os:  Unknown/Multiple           |   Architecture:  Unknown/Multiple
 Failure:  GHC rejects valid program  |      Blockedby:                  
Blocking:                             |        Related:                  
--------------------------------------+-------------------------------------

Comment(by patrick@…):

 commit 37be6f06feed7351336bf8301fab93ac7c4d3a12
 {{{
 Author: Patrick Palka <patrick at parcs.ath.cx>
 Date:   Thu Apr 11 14:00:51 2013 -0400

     Fix type variable scoping in nested pattern type signatures (#7827)

  compiler/rename/RnPat.lhs |   13 +++++++++++--
  1 files changed, 11 insertions(+), 2 deletions(-)
 }}}

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