[GHC] #4479: Implement TDNR

[GHC]

#4479: Implement TDNR
-------------------------------------+-------------------------------------
        Reporter:  gidyn             |                Owner:
            Type:  feature request   |               Status:  new
        Priority:  low               |            Milestone:
       Component:  Compiler (Type    |              Version:  7.5
  checker)                           |
      Resolution:                    |             Keywords:
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 AntC):

 Replying to [comment:27 gidyn]:
 > There's a proposal for TDNR without syntax changes at
 SyntaxFreeTypeDirectedNameResolution.

 Hmm. That really is not up to being called a 'proposal'. Contrast its
 hand-waving with the careful detail in the original TDNR. I've added a
 couple of links to a ghc-users thread and to what Adam has just delivered
 in 8.0 DuplicateRecordFields. I think what Adam has delivered is a
 reasonable stab at the TDNR idea without changing any syntax. (I've made
 that point several times in the discussion.) I've not seen any detailed
 explanation that would disagree with that. (There is comment about the
 full ORF Part 3 Magic type classes.)

 If it was my call, and assuming this ticket 4479 is about TDNR, I would
 close this as fixed by DuplicateRecordFields.

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4479#comment:31>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler