Opened 5 years ago

Closed 5 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: Difficulty:
Test Case: Blocked By:
Blocking: Related Tickets:

Description

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

Change History (1)

comment:1 Changed 5 years ago by dorinho

  • Resolution set to invalid
  • Status changed from new to closed
Note: See TracTickets for help on using tickets.