#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