Opened 9 years ago

Closed 9 years ago

#3063 closed bug (invalid)

Only at separate compilation: Conflicting family instance declarations

Reported by: dorinho Owned by:
Priority: normal Milestone:
Component: Compiler Version: 6.10.1
Keywords: Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: None/Unknown Test Case:
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:


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



Change History (1)

comment:1 Changed 9 years ago by dorinho

Resolution: invalid
Status: newclosed
Note: See TracTickets for help on using tickets.