id,summary,owner,type,priority,version,resolution
2231,ASSERT failed! file typecheck/TcMType.lhs line 442 t_a7Fa{tv} [tau],simonpj,bug,normal,6.8.2,duplicate
1722,Code using type synonym families requires workarounds to compile,chak,bug,normal,6.8,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
2040,GADT regression,chak,bug,normal,6.8.2,fixed
1823,GADTs and scoped type variables don't work right,chak,bug,normal,6.8.1,fixed
1772,GHC doesn't like 'inline' type function applications,chak,bug,normal,6.9,fixed
2141,Internal error on invalid record update,igloo,merge,normal,6.8.2,fixed
1608,Newtype deriving error messages coming out too late,simonpj,bug,normal,6.6.1,fixed
1815,Occurs check error from equality constraint,chak,bug,normal,6.9,fixed
1470,Overlapping (etc) instances,simonpj,bug,normal,6.6.1,fixed
2004,Pattern matching against GADTs without -XGADTs has odd behavior.,igloo,merge,normal,6.8.1,fixed
2275,Poor indication of type error location,,bug,low,6.8.2,invalid
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
1537,do notation translation,simonpj,merge,normal,6.7,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
1807,type equality coercions not symmetric + order dependent,chak,bug,normal,6.8,duplicate
1723,type unsafety with type family + GADT,chak,bug,normal,6.8,fixed