Custom Query (20 matches)


Show under each result:

Status: closed (20 matches)

Ticket Summary Owner Type Priority Version Resolution
#1470 Overlapping (etc) instances simonpj bug normal 6.6.1 fixed
#1537 do notation translation simonpj merge normal 6.7 fixed
#1608 Newtype deriving error messages coming out too late simonpj bug normal 6.6.1 fixed
#1624 internal error caused by adding an instance to a type class with a functional dependency and a default method simonpj bug normal 6.7 fixed
#1722 Code using type synonym families requires workarounds to compile chak bug normal 6.8 fixed
#1723 type unsafety with type family + GADT chak bug normal 6.8 fixed
#1772 GHC doesn't like 'inline' type function applications chak bug normal 6.9 fixed
#1807 type equality coercions not symmetric + order dependent chak bug normal 6.8 duplicate
#1815 Occurs check error from equality constraint chak bug normal 6.9 fixed
#1823 GADTs and scoped type variables don't work right chak bug normal 6.8.1 fixed
#1900 Type families with class constraints: type-checker loops chak bug normal 6.9 fixed
#1968 data family + GADT: not implemented yet chak bug normal 6.9 fixed
#2004 Pattern matching against GADTs without -XGADTs has odd behavior. igloo merge normal 6.8.1 fixed
#2040 GADT regression chak bug normal 6.8.2 fixed
#2141 Internal error on invalid record update igloo merge normal 6.8.2 fixed
#2146 Decomposition rule for equalities is too weak in case of higher-kinded type families chak bug normal 6.9 fixed
#2157 Equality Constraints with Type Families chak feature request normal 6.9 fixed
#2219 GADT match fails to refine type variable chak bug normal 6.9 fixed
#2231 ASSERT failed! file typecheck/TcMType.lhs line 442 t_a7Fa{tv} [tau] simonpj bug normal 6.8.2 duplicate
#2275 Poor indication of type error location bug low 6.8.2 invalid
Note: See TracQuery for help on using queries.