#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