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

12 Apr 2013

      #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 
 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