Custom Query (11 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Status: closed (11 matches)

Ticket Summary Owner Type Priority Version Resolution
#5769 Incorrect error message when compiling with PolyKinds and a type family dreixel bug high 7.4.1-rc1 fixed
#5770 Non-sensical error message when compiling with PolyKinds and a type family dreixel bug high 7.4.1-rc1 fixed
#2534 Odd probable cause given by type checker simonpj bug lowest 6.8.2 fixed
#5676 Typeclass instance function type declarations simonpj feature request normal fixed
#5837 Context reduction stack overflow can take very long simonpj bug normal 7.4.1-rc2 fixed
#3064 Very long compile times with type functions bug low 6.10.1 fixed
#3108 Do a better job of solving recursive type-class constraints with functional dependencies bug high 6.10.1 fixed
#5321 Very slow constraint solving for type families bug low 7.0.3 fixed
#5978 Type error in one function causes wrong type error report in another function in the presence of functionally dependent types bug low 7.4.1 fixed
#6013 the 'impossible' happened bug normal 7.4.1 duplicate
#7171 erroneous overlapping instances reported with FunDeps bug highest 7.6.1-rc1 fixed
Note: See TracQuery for help on using queries.