#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: | -------------------------------------+------------------------------------- @@ -2,2 +2,1 @@ - [https://ghc.haskell.org/trac/ghc/wiki/Records/DeclaredOverloadedRecordFields... - Dot as Postfix Function Apply]. + [https://wiki.haskell.org/TypeDirectedNameResolution TDNR]. New description: A request to implement [https://wiki.haskell.org/TypeDirectedNameResolution TDNR]. -- Comment (by gidyn): Yes, Records/DeclaredOverloadedRecordFields/DotPostfix is orthogonal to type directed name resolution, although spj's original TDNR proposal included both. This ticked was originally about TDNR, then wondered into DotPostfix as an add-on to ORF. As the dot notation has attracted a fair amount of opposition, and ORF only gives TDNR for records, I've brought up a proposal for TDNR over any function but without syntax changes. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/4479#comment:29 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler