Custom Query (11 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Status: assigned (1 match)

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

Status: new (8 matches)

Ticket Summary Owner Type Priority Version Created
#1155 values and the scrutinizer defect not urgent at all 4.9.x 10 years ago
#1176 Support capturing multiple value type in `forall`, etc. enhancement minor 4.9.x 9 years ago
#1215 Warn about too specific type declarations enhancement minor 4.10.x 9 years ago
#1445 Support parameterised hash table type declarations enhancement not urgent at all 5.0.0 6 years ago
#1446 Implement contravariant type checking for procedure types enhancement not urgent at all 5.0.0 6 years ago
#1471 [types] Enforce parameter types on specialization enhancement not urgent at all 5.0.0 6 years ago
#1475 (scrutinizer) Types for global variables are not refined by predicates defect major 5.0.0 6 years ago
#1476 (scrutinizer) Should global types be smashed in local contexts? task minor 5.0.0 6 years ago

Status: reopened (2 matches)

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