id,summary,owner,type,priority,version,resolution
1897,Ambiguous types and rejected  type signatures,chak,bug,low,6.9,fixed
2102,Typeclass membership doesn't bring coercion superclass requirements into scope,chak,bug,low,7.1,fixed
2715,Equality constraint in superclass not supported,chak,task,low,6.10.1,fixed
3297,Compiler panic on incorrect code (TcTyFuns.flattenType: synonym family in a rank-n type),chak,bug,low,6.11,fixed
4981,inconsistent class requirements with TypeFamilies and FlexibleContexts,simonpj,bug,high,7.0.1,fixed
5007,"""deriving"" seems to ignore class context for a type family",simonpj,bug,high,7.0.2,invalid
3011,ASSERT failed: file typecheck/TcMType.lhs line 526 t_a32G{tv},,bug,low,6.11,fixed
4528,stand-alone deriving sometimes fails for GADTs,,bug,normal,7.0.1,fixed
4856,Performance regression in the type checker regression for GADTs and type families,,bug,normal,7.0.1,fixed
4940,Bad error message using poly pat bind with MonoPatBinds,,feature request,normal,7.0.1,fixed
5030,Slow type checking of type-level computation heavy code.,,bug,normal,7.0.2,fixed
5120,inferred type of an implicit parameter rejected (associated type),,bug,normal,7.0.3,fixed