Custom Query (13 matches)


Show under each result:

Status: new (13 matches)

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