[GHC] #5120: inferred type of an implicit parameter rejected (associated type)

[GHC]

#5120: inferred type of an implicit parameter rejected (associated type)
--------------------------------------+-------------------------------------
  Reporter:  mikkonecny               |          Owner:                                     
      Type:  bug                      |         Status:  closed                             
  Priority:  normal                   |      Milestone:  7.2.1                              
 Component:  Compiler (Type checker)  |        Version:  7.0.3                              
Resolution:  fixed                    |       Keywords:  associated type, implicit parameter
  Testcase:                           |      Blockedby:                                     
Difficulty:                           |             Os:  Linux                              
  Blocking:                           |   Architecture:  x86                                
   Failure:  None/Unknown             |  
--------------------------------------+-------------------------------------
Changes (by igloo):

  * status:  new => closed
  * resolution:  => fixed
  * milestone:  => 7.2.1


Comment:

 Thanks for the report. Fixed by
 changeset:b30f8b6540eb8fe10f06c6e12d0daa08464656c2
 {{{
 commit b30f8b6540eb8fe10f06c6e12d0daa08464656c2
 Author: U-EUROPE\dimitris
 <dimitris at MSRC-1361792.europe.corp.microsoft.com>
 Date:   Wed Apr 27 11:04:02 2011 +0100

     Solving one IP from another. This fixes #5120.
 }}}

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