#3063: Only at separate compilation: Conflicting family instance declarations
-----------------------------+----------------------------------------------
Reporter:  dorinho           |          Owner:                  
    Type:  bug               |         Status:  new             
Priority:  normal            |      Component:  Compiler        
 Version:  6.10.1            |       Severity:  normal          
Keywords:                    |       Testcase:                  
      Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
-----------------------------+----------------------------------------------
 Take the following class:

 class C a where
     type B a

 Then the following instances only throw «Conflicting family instance
 declarations»,
 if compiled separately:

 instance C a where
     type B a = X a

 instance C (Int,a) where
     type B (Int,a) = X a

 Cheers,
     Dorinho

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/3063>
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