[GHC] #13738: TypeApplications-related GHC internal error

[GHC]

#13738: TypeApplications-related GHC internal error
-------------------------------------+-------------------------------------
        Reporter:  RyanGlScott       |                Owner:  (none)
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  8.0.1
      Resolution:                    |             Keywords:
                                     |  TypeApplications
Operating System:  Unknown/Multiple  |         Architecture:
 Type of failure:  Compile-time      |  Unknown/Multiple
  crash or panic                     |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:  #13985            |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by RyanGlScott):

 Ah, but wait! I think there's a way to avoid having to replumb tons of
 functions in the renamer--just repurpose `RnTyKiEnv`! We already have a
 datatype:

 {{{#!hs
 data RnTyKiEnv
   = RTKE { rtke_ctxt  :: HsDocContext
          , rtke_level :: TypeOrKind  -- Am I renaming a type or a kind?
          , rtke_what  :: RnTyKiWhat  -- And within that what am I
 renaming?
          , rtke_nwcs  :: NameSet     -- These are the in-scope named
 wildcards
     }
 }}}

 If I understand the spirit of this type, it would be quite reasonable to
 augment `RTKE` with another filed which indicates whether kind variables
 in a `forall` type should be implicitly quantified or not. If we adopted
 this approach, then we'd only have to change a couple of call sites, since
 many of the functions in the renamer already pass around an `RnTyKiEnv`
 argument.

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