Custom Query (12 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Resolution: fixed (11 matches)

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

Resolution: invalid (1 match)

Ticket Summary Owner Type Priority Version Created
#5007 "deriving" seems to ignore class context for a type family simonpj bug high 7.0.2 3 years
Note: See TracQuery for help on using queries.