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

 Then @gidyn, anybody reading this ticket is going to get totally confused
 -- as I am now. (That's why I'm replying here rather than privately.) Can
 you change the whole subject of a ticket like that? And then change it
 back much later? It's bound to invalidate a large proportion of the
 comments.

 I would have thought much better to close this ticket; open new one(s) for
 TDNR and dot postfix.

 For the record(!) again: TDNR includes two elements:
 1. using dot postfix to signal 'here comes a record label'.
 2. using type directed name resolution for that label at that use site.

 But the DORF proposal is purely to use dot postfix as syntactic sugar for
 function apply. Its purpose is (somewhat) incompatible with TDNR point 1,
 although the syntactic behaviour for dot is the same.

 As far as I can see, these two subjects should never have gotten on the
 same ticket.

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