Custom Query

Filters
 
Columns

Show under each result:

Resolution: fixed (11 matches)

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

Resolution: invalid (1 match)

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