id,summary,owner,type,priority,version,os
4392,tcrun020 failure,,bug,highest,6.12.3,Unknown/Multiple
4394,IPRun failure,,bug,highest,6.12.3,Unknown/Multiple
4395,T1735(ghci) failing with core-lint error,igloo,bug,highest,6.12.3,Unknown/Multiple
4396,tc003(hpc) failing with link error,,bug,highest,7.1,Unknown/Multiple
4120,Iface type variable out of scope in cast,,bug,high,6.13,Unknown/Multiple
4232,Finish and merge new typechecker branch,simonpj,bug,high,6.13,Unknown/Multiple
4355,"Coud not deduce (Typeable a) from context (Typeable a, …)",simonpj,bug,high,7.1,Unknown/Multiple
4356,type instance doesn't work when the type is (->),simonpj,bug,high,7.1,MacOS X
4361,Typechecker regression,simonpj,bug,high,7.1,Unknown/Multiple
3330,Type checker hangs,chak,bug,normal,6.12.1 RC1,Unknown/Multiple
3554,ASSERT failed! file TcMType.lhs line 349,chak,bug,normal,6.10.4,Unknown/Multiple
3613,Better error messages for do-notation,,bug,normal,6.10.4,Unknown/Multiple
3638,Redundant signature required with RULES and GADTs,,bug,normal,6.13,Unknown/Multiple
3651,GADT type checking too liberal,simonpj,bug,normal,6.10.4,Unknown/Multiple
3787,GHC 6.12.1 panic,simonpj,bug,normal,6.12.1,Linux
3826,"Can't infer type (type family as ""element"" type)",simonpj,bug,normal,6.12.1,Unknown/Multiple
3851,type family does not get expanded in ghc-6.12.1,,bug,normal,6.12.1,Unknown/Multiple
4174,Jumbled error message from type family operator,,bug,normal,6.12.1,Unknown/Multiple
4178,Lazy evaluation of type families causes quantified type variables to escape,,bug,normal,6.12.1,Unknown/Multiple
4179,Infinite loop with type function inference,,bug,normal,6.12.3,Unknown/Multiple
4226,Lifting constraints is questionably correct for implicit parameters.,,bug,normal,6.12.1,Linux
4235,deriving Enum fails for data instances,,bug,normal,6.12.3,Linux
1634,Type signature normalization,igloo,bug,low,6.6.1,Linux
1769,Deriving Typeable for data families,chak,task,low,6.9,Unknown/Multiple
2239,lack of improvement/reduction with TFs,simonpj,bug,low,6.12.3,Unknown/Multiple
3440,Improve error message for GADT failures,,bug,low,6.10.4,Unknown/Multiple
3460,Can't use superclass when type coercions are involved,chak,bug,low,6.10.4,Unknown/Multiple
3696,Incorrect type inferred with -fwarn-missing-signatures and a type class,,bug,low,6.10.1,Unknown/Multiple
3584,type signature involving a type family rejected,,bug,normal,6.10.2,Unknown/Multiple
4008,type error trying to specialize polymorphic function,simonpj,bug,normal,6.12.1,Linux
4009,can newtype be extended to permit GADT-like declarations,simonpj,feature request,normal,6.12.1,Linux