Re: [GHC] #14498: GHC internal error: "not in scope during TC but it passed the renamer"

18 Dec 2017

      #14498: GHC internal error: "not in scope during TC but it passed the renamer"
-------------------------------------+-------------------------------------
        Reporter:  Iceland_jack      |                Owner:  (none)
            Type:  bug               |               Status:  closed
        Priority:  normal            |            Milestone:
       Component:  Compiler (Type    |              Version:  8.2.1
  checker)                           |             Keywords:
      Resolution:  fixed             |  PatternSynonyms
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  Compile-time      |            Test Case:
  crash or panic                     |  patsyn/should_fail/T14498
      Blocked By:                    |             Blocking:
 Related Tickets:  #14288            |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------
Changes (by simonpj):

 * status:  new => closed
 * testcase:   => patsyn/should_fail/T14498
 * resolution:   => fixed

Comment:

 OK good.  Fixed by
 {{{
 commit f1fe5b4adf6a4094ecc600a28f64f7628903d017
 Author: Simon Peyton Jones 
 Date:   Mon Dec 18 12:03:33 2017 +0000

     Fix scoping of pattern-synonym existentials

     This patch fixes Trac #14998, where we eventually decided that
     the existential type variables of the signature of a pattern
     synonym should not scope over the pattern synonym.

     See Note [Pattern synonym existentials do not scope] in TcPatSyn.
 }}}

 Sorry about mis-typing the ticket number in the commit message!

-- 
Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14498#comment:19
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler