Custom Query (11 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Resolution: fixed (10 matches)

Ticket Summary Owner Type Priority Version Created
#3064 Very long compile times with type functions bug low 6.10.1 5 years
#3108 Do a better job of solving recursive type-class constraints with functional dependencies bug high 6.10.1 5 years
#2534 Odd probable cause given by type checker simonpj bug lowest 6.8.2 6 years
#5321 Very slow constraint solving for type families bug low 7.0.3 3 years
#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 2 years
#5769 Incorrect error message when compiling with PolyKinds and a type family dreixel bug high 7.4.1-rc1 2 years
#5770 Non-sensical error message when compiling with PolyKinds and a type family dreixel bug high 7.4.1-rc1 2 years
#5837 Context reduction stack overflow can take very long simonpj bug normal 7.4.1-rc2 2 years
#7171 erroneous overlapping instances reported with FunDeps bug highest 7.6.1-rc1 20 months
#5676 Typeclass instance function type declarations simonpj feature request normal 2 years

Resolution: duplicate (1 match)

Ticket Summary Owner Type Priority Version Created
#6013 the 'impossible' happened bug normal 7.4.1 2 years
Note: See TracQuery for help on using queries.