#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