Custom Query (12 matches)


Show under each result:

Status: closed (12 matches)

Ticket Summary Owner Type Priority Version Resolution
#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
#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
#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
#3011 ASSERT failed: file typecheck/TcMType.lhs line 526 t_a32G{tv} bug low 6.11 fixed
#3297 Compiler panic on incorrect code (TcTyFuns.flattenType: synonym family in a rank-n type) chak bug low 6.11 fixed
Note: See TracQuery for help on using queries.