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 someday
#1475 (scrutinizer) Types for global variables are not refined by predicates new defect major someday
#1176 Support capturing multiple value type in `forall`, etc. new enhancement minor someday
#1215 Warn about too specific type declarations new enhancement minor someday
#1476 (scrutinizer) Should global types be smashed in local contexts? new task minor someday
#1606 Add code to lfa2 for extinguishing SRFI-4 predicates assigned felix winkelmann enhancement minor someday
#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 someday
#1471 [types] Enforce parameter types on specialization new enhancement not urgent at all someday
#1762 Maybe/Just Int checker in Silex compilation reopened enhancement not urgent at all someday
Note: See TracQuery for help on using queries.