Custom Query (9 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Status: closed (3 matches)

Ticket Summary Owner Type Priority Version Resolution
#948 scrutiny for list-of type seems wrong felix defect minor 4.8.x fixed
#952 scrutiny for list-of type wrong when matched with pair types felix defect minor 4.8.x fixed
#1214 Specialization on certain `or' types doesn't work evhan defect minor 4.10.x fixed

Status: new (6 matches)

Ticket Summary Owner Type Priority Version Resolution
#1176 Support capturing multiple value type in `forall`, etc. enhancement minor 4.9.x
#1215 Warn about too specific type declarations enhancement minor 4.10.x
#1155 values and the scrutinizer defect not urgent at all 4.9.x
#1445 Support parameterised hash table type declarations enhancement not urgent at all 5.0
#1446 Implement contravariant type checking for procedure types enhancement not urgent at all 5.0
#1471 [types] Enforce parameter types on specialization enhancement not urgent at all 5.0
Note: See TracQuery for help on using queries.