#12176: Failure of bidirectional type inference at the kind level -------------------------------------+------------------------------------- Reporter: goldfire | Owner: goldfire Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Resolution: | Keywords: TypeInType 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 Edward Z. Yang <ezyang@…>): In [changeset:"89ae1e858f6eed42cebd9af01b30e239d4543faf/ghc" 89ae1e8/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="89ae1e858f6eed42cebd9af01b30e239d4543faf" Relevant Bindings no longer reports shadowed bindings (fixes #12176) Summary: Modified the RelevantBindings method in TcErrors.hs to only search over non-shadowed bindings. Test Plan: Wrote 2 simple test cases, verified that it worked with multiple shadowed bindings, and also non-shadowed bindings. Reviewers: austin, bgamari, ezyang Reviewed By: ezyang Subscribers: ezyang, thomie Differential Revision: https://phabricator.haskell.org/D2434 GHC Trac Issues: #12177 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12176#comment:1> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler