#4479: Add Type Directed Name Resolution
----------------------------------------+-----------------------------------
    Reporter:  gidyn                    |        Owner:              
        Type:  feature request          |       Status:  new         
    Priority:  normal                   |    Milestone:              
   Component:  Compiler (Type checker)  |      Version:  6.12.3      
    Keywords:                           |     Testcase:              
   Blockedby:                           |   Difficulty:              
          Os:  Unknown/Multiple         |     Blocking:              
Architecture:  Unknown/Multiple         |      Failure:  None/Unknown
----------------------------------------+-----------------------------------

Comment(by igloo):

 Personally, I'm not sure the extra benefit is worth the extra complexity
 in the language. Like you say, type classes have already solved a lot of
 the problem.

 Also, I don't think it works well with multi-argument functions. I'd
 rather write
 {{{
 BS.append x y
 }}}
 than
 {{{
 x.append y
 }}}

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4479#comment:5>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Reply via email to