[GHC] #13625: GHC internal error: ‘Y’ is not in scope during type checking, but it passed the renamer

28 Apr 2017


      #13625: GHC internal error: ‘Y’ is not in scope during type checking, but it passed
the renamer
-------------------------------------+-------------------------------------
           Reporter:  mpickering     |             Owner:  (none)
               Type:  bug            |            Status:  new
           Priority:  normal         |         Milestone:
          Component:  Compiler       |           Version:  8.0.1
           Keywords:                 |  Operating System:  Unknown/Multiple
       Architecture:                 |   Type of failure:  None/Unknown
  Unknown/Multiple                   |
          Test Case:                 |        Blocked By:
           Blocking:                 |   Related Tickets:
Differential Rev(s):                 |         Wiki Page:
-------------------------------------+-------------------------------------
 {{{
 {-# LANGUAGE TypeInType #-}
 data X :: Y where Y :: X
 }}}

 The error message is:

 {{{
 Bug.hs:2:11: error: …
     • GHC internal error: ‘Y’ is not in scope during type checking, but it
 passed the renamer
       tcl_env of environment: [r1cR :-> APromotionErr TyConPE]
     • In the kind ‘Y’
 }}}

 Originally reported by @mietek in #11821

--
Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13625
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler