#9262: Allow free variables in reifyInstances -------------------------------------+------------------------------------- Reporter: goldfire | Owner: goldfire Type: feature | Status: patch request | Milestone: Priority: normal | Version: 7.8.2 Component: Template | Keywords: Haskell | Architecture: Unknown/Multiple Resolution: | Difficulty: Unknown Operating System: | Blocked By: Unknown/Multiple | Related Tickets: Type of failure: | None/Unknown | Test Case: | Blocking: | Differential Revisions: Phab:D359 | -------------------------------------+------------------------------------- Comment (by Richard Eisenberg <eir@…>): In [changeset:"2cc593dd50197c252d87321280a04f04cc173dbc/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="2cc593dd50197c252d87321280a04f04cc173dbc" Bring unbound tyvars into scope during reifyInstances. Fix #9262. }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9262#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler