[GHC] #16292: Wildcards in visible kind application

6 Feb 2019

      #16292: Wildcards in visible kind application
-------------------------------------+-------------------------------------
           Reporter:  simonpj        |             Owner:  (none)
               Type:  bug            |            Status:  new
           Priority:  normal         |         Milestone:
          Component:  Compiler       |           Version:  8.6.3
           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:
-------------------------------------+-------------------------------------
 `TcHsType.tcInferApps` contains this terrible code
 {{{
              ; ki_arg <- addErrCtxt (funAppCtxt orig_hs_ty hs_ki_arg n) $
                          unsetWOptM Opt_WarnPartialTypeSignatures $
                          setXOptM LangExt.PartialTypeSignatures $
                              -- Urgh!  see Note [Wildcards in visible kind
 application]
                              -- ToDo: must kill this ridiculous messing
 with DynFlags
 }}}
 It's a knock-on from the Visible Kind Application patch -- see the Note
 referred to above.

 But it's ghastly and we must fix it.  There's a [https://github.com/ghc-
 proposals/ghc-proposals/pull/194 GHC Proposal about this], but it's
 relatively ambitious. Maybe there is a shorter term thing we can do here.

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