[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:  typecheck/should_compile/T5120  |      Blockedby:                                     
Difficulty:                                  |             Os:  Linux                              
  Blocking:                                  |   Architecture:  x86                                
   Failure:  None/Unknown                    |  
---------------------------------------------+------------------------------
Changes (by simonpj):

  * testcase:  => typecheck/should_compile/T5120


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