id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	os	architecture	failure	difficulty	testcase	blockedby	blocking	related
2677	Detection of TF instance conflict depends on instance order	reinerp	chak	"With 6.10 RC1, the following code compiles without complaint:
{{{
{-# OPTIONS -fglasgow-exts #-}
module OverlapTest where

type family A x
type instance A a = Bool
type instance A Int = Char
}}}
even though the overlapping instances ""A a"" and ""A Int"" conflict. Reordering the instances to
{{{
{-# OPTIONS -fglasgow-exts #-}
module OverlapTest where

type family A x
type instance A Int = Char
type instance A a = Bool
}}}
correctly doesn't compile, complaining about conflicting instances."	bug	closed	normal	6.12 branch	Compiler (Type checker)	6.9	fixed	TF instance conflict		Unknown/Multiple	Unknown/Multiple		Unknown	T2677