#11203: Kind inference with SigTvs is wrong -------------------------------------+------------------------------------- Reporter: goldfire | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by Richard Eisenberg <eir@…>): In [changeset:"ae86eb9f72fa7220fe47ac54d6d21395691c1308/ghc" ae86eb9f/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="ae86eb9f72fa7220fe47ac54d6d21395691c1308" Fix tcTyClTyVars to handle SigTvs Previously, tcTyClTyVars required that the names of the LHsQTyVars matched up exactly with the names of the kind of the given TyCon. It now does a bit of matching up when necessary to relax this restriction. This commit enables a few tests that had previously been disabled. The shortcoming this addresses is discussed in #11203, but that ticket is not directly addressed here. Test case: polykinds/SigTvKinds, perf/compiler/T9872d }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11203#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler