Custom Query (14 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Status: assigned (1 match)

Ticket Summary Owner Type Priority Version Resolution
#1606 Add code to lfa2 for extinguishing SRFI-4 predicates felix winkelmann enhancement minor 5.0.0

Status: closed (3 matches)

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

Status: new (8 matches)

Ticket Summary Owner Type Priority Version Resolution
#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.0
#1446 Implement contravariant type checking for procedure types enhancement not urgent at all 5.0.0
#1471 [types] Enforce parameter types on specialization enhancement not urgent at all 5.0.0
#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
#1476 (scrutinizer) Should global types be smashed in local contexts? task minor 5.0.0
#1475 (scrutinizer) Types for global variables are not refined by predicates defect major 5.0.0

Status: reopened (2 matches)

Ticket Summary Owner Type Priority Version Resolution
#1762 Maybe/Just Int checker in Silex compilation enhancement not urgent at all 5.2.0
#1399 Scrutinizer produces incorrect procedure types after merge evhan defect major 4.12.0
Note: See TracQuery for help on using queries.