id	summary	owner	type	priority	version	resolution
1470	Overlapping (etc) instances	simonpj	bug	normal	6.6.1	fixed
1537	do notation translation	simonpj	merge	normal	6.7	fixed
1608	Newtype deriving error messages coming out too late	simonpj	bug	normal	6.6.1	fixed
1624	internal error caused by adding an instance to a type class with a functional dependency and a default method	simonpj	bug	normal	6.7	fixed
1722	Code using type synonym families requires workarounds to compile	chak	bug	normal	6.8	fixed
1723	type unsafety with type family + GADT	chak	bug	normal	6.8	fixed
1772	GHC doesn't like 'inline' type function applications	chak	bug	normal	6.9	fixed
1815	Occurs check error from equality constraint	chak	bug	normal	6.9	fixed
1823	GADTs and scoped type variables don't work right	chak	bug	normal	6.8.1	fixed
1900	Type families with class constraints: type-checker loops	chak	bug	normal	6.9	fixed
1968	data family + GADT: not implemented yet	chak	bug	normal	6.9	fixed
2004	Pattern matching against GADTs without -XGADTs has odd behavior.	igloo	merge	normal	6.8.1	fixed
2040	GADT regression	chak	bug	normal	6.8.2	fixed
2141	Internal error on invalid record update	igloo	merge	normal	6.8.2	fixed
2146	Decomposition rule for equalities is too weak in case of higher-kinded type families	chak	bug	normal	6.9	fixed
2157	Equality Constraints with Type Families	chak	feature request	normal	6.9	fixed
2219	GADT match fails to refine type variable	chak	bug	normal	6.9	fixed
2275	Poor indication of type error location		bug	low	6.8.2	invalid
1807	type equality coercions not symmetric + order dependent	chak	bug	normal	6.8	duplicate
2231	ASSERT failed! file typecheck/TcMType.lhs line 442 t_a7Fa{tv} [tau]	simonpj	bug	normal	6.8.2	duplicate