Custom Query (11 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Ticket Summary Status Owner Type Priority Milestone
#1399 Scrutinizer produces incorrect procedure types after merge reopened evhan defect major 5.2
#1475 (scrutinizer) Types for global variables are not refined by predicates new defect major 5.2
#1176 Support capturing multiple value type in `forall`, etc. new enhancement minor someday
#1215 Warn about too specific type declarations new enhancement minor someday
#1258 At higher optimization levels, some scrutiny warnings disappear new defect minor 5.2
#1476 (scrutinizer) Should global types be smashed in local contexts? new task minor 5.2
#1606 Add code to lfa2 for extinguishing SRFI-4 predicates new enhancement minor 5.2
#1155 values and the scrutinizer new defect not urgent at all someday
#1445 Support parameterised hash table type declarations new enhancement not urgent at all someday
#1446 Implement contravariant type checking for procedure types new enhancement not urgent at all 5.2
#1471 [types] Enforce parameter types on specialization new enhancement not urgent at all someday
Note: See TracQuery for help on using queries.