Custom Query

Filters
 
Columns

Show under each result:

Status: new (14 matches)

Ticket Summary Owner Type Priority Version Operating System
#1496 Newtypes and type families combine to produce inconsistent FC(X) axiom sets simonpj bug normal 6.7 Unknown/Multiple
#4347 Bug in unification of polymorphic and not-yet-polymorphic type bug normal 7.1 Linux
#4385 Type-level natural numbers diatchki feature request normal Unknown/Multiple
#5590 "guarded instances": instance selection can add extra parameters to the class simonpj feature request normal 7.2.1 Unknown/Multiple
#5927 A type-level "implies" constraint on Constraints feature request normal 7.4.1 Unknown/Multiple
#4020 Please consider adding support for local type synonyms feature request low 6.12.2 Unknown/Multiple
#4479 Add Type Directed Name Resolution feature request low 7.5 Unknown/Multiple
#4921 report ambiguous type variables more consistently feature request low 7.0.1 Unknown/Multiple
#5248 Infer type context in a type signature feature request low 7.0.3 Unknown/Multiple
#5267 Missing type checks for arrow command combinators ross bug low 7.0.3 Unknown/Multiple
#5296 Add explicit type applications feature request low 7.0.3 Linux
#344 arrow notation: incorrect scope of existential dictionaries ross bug lowest 6.4 Unknown/Multiple
#1330 Impredicativity bug: Church2 test gives a rather confusing error with the HEAD simonpj bug lowest 6.7 Unknown/Multiple
#1894 Add a total order on type constructors feature request lowest 6.8.1 Unknown/Multiple
Note: See TracQuery for help on using queries.