Custom Query (5 matches)


Show under each result:

Resolution: fixed (5 matches)

Ticket Summary Owner Type Priority Version Created
#1496 Newtypes and type families combine to produce inconsistent FC(X) axiom sets simonpj bug normal 6.7 8 years
#5591 Type constructor variables not injective simonpj bug normal 7.2.1 3 years
#7294 -fdefer-type-errors doesn't produce a warning bug normal 7.6.1 2 years
#7312 panic! applytTypeToArgs with non-infix function type constructor simonpj bug normal 7.6.1 2 years
#5609 Type checking arrow notation in the presence of deferred constraints ross bug low 7.3 3 years
Note: See TracQuery for help on using queries.