#8391: FunDeps coverage condition check failure with PolyKinds ----------------------------------------------+---------------------------- Reporter: sbarclay | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 7.7 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: GHC rejects valid program | Unknown/Multiple Blocked By: | Test Case: Related Tickets: #8356 | polykinds/T8391 | Blocking: ----------------------------------------------+---------------------------- 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/8391#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler