#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

_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Reply via email to