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