[GHC] #4479: Add Type Directed Name Resolution

GHC ghc-devs at haskell.org
Wed Jul 10 20:21:14 CEST 2013


#4479: Add Type Directed Name Resolution
--------------------------------------------+------------------------------
        Reporter:  gidyn                    |            Owner:
            Type:  feature request          |           Status:  new
        Priority:  low                      |        Milestone:  7.6.2
       Component:  Compiler (Type checker)  |          Version:  7.5
      Resolution:                           |         Keywords:
Operating System:  Unknown/Multiple         |     Architecture:
 Type of failure:  None/Unknown             |  Unknown/Multiple
       Test Case:                           |       Difficulty:  Unknown
        Blocking:                           |       Blocked By:
                                            |  Related Tickets:
--------------------------------------------+------------------------------

Comment (by adamgundry):

 Replying to [comment:16 gidyn]:
 > "we propose no changes to dot syntax for the time being" Looks like Adam
 is specific ignoring it?

 I'm not ignoring TDNR so much as implementing an alternative solution to
 essentially the same problem, namely the desire to overload record field
 names. In fact, an earlier version of my proposal did suggest changing dot
 syntax, but quite a few people weren't keen on it, so the current plan is
 to leave dot alone for the time being. There is the possibility of
 treating [wiki:Records/DeclaredOverloadedRecordFields/DotPostfix dot as
 postfix function application].

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



More information about the ghc-tickets mailing list