#11348: Local open type families instances ignored during type checking -------------------------------------+------------------------------------- Reporter: alexvieth | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 8.0.1-rc1 Resolution: fixed | Keywords: TypeFamilies Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: GHC rejects | Test Case: valid program | typecheck/should_compile/T11348 Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D1762 Wiki Page: | -------------------------------------+------------------------------------- Comment (by Ben Gamari <ben@…>): In [changeset:"a4f2b76661fa2056172b27b9883df1f488b7a0dc/ghc" a4f2b76/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="a4f2b76661fa2056172b27b9883df1f488b7a0dc" testsuite: Add regression test for #12381 Test Plan: Validate Reviewers: austin Subscribers: thomie Differential Revision: https://phabricator.haskell.org/D2408 GHC Trac Issues: #12381, #11348 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11348#comment:20> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler