#6088: GeneralizedNewtypeDeriving + TypeFamilies + Equality constraints -------------------------------------------------+------------------------- Reporter: Lemming | Owner: Type: feature request | Status: Priority: normal | closed Component: Compiler (Type checker) | Milestone: Resolution: fixed | Version: 7.4.1 Operating System: Unknown/Multiple | Keywords: Type of failure: GHC rejects valid program | Architecture: Test Case: indexed- | Unknown/Multiple types/should_compile/T6088 | Difficulty: Blocking: | Unknown | Blocked By: | Related Tickets: 3046 -------------------------------------------------+------------------------- Comment (by Richard Eisenberg <eir@…>): In [changeset:"02b4845e07ef7110b2f735f323eb8748903330ff/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="02b4845e07ef7110b2f735f323eb8748903330ff" Consider equality contexts exotic, uninferrable by "deriving" See comments in #8984. This takes back the fix for #6088. }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/6088#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler