Re: [GHC] #6088: GeneralizedNewtypeDeriving + TypeFamilies + Equality constraints

19 Dec 2014

      #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 ):

 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