#10109: Kinds aren't checked in the coverage condition -------------------------------------+------------------------------------- Reporter: goldfire | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.1-rc2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by Simon Peyton Jones <simonpj@…>): In [changeset:"49d9b009a2affb6015b8f6e2f15e4660a53c0d9a/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="49d9b009a2affb6015b8f6e2f15e4660a53c0d9a" Fix fundep coverage-condition check for poly-kinds See Note [Closing over kinds in coverage] in FunDeps. I'd already fixed this bug once, for Trac #8391, but I put the call to closeOverKinds in the wrong place, so Trac #10109 failed. (It checks the /liberal/ coverage condition, which The fix was easy: move the call to the right place! }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10109#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler