id Summary Status Owner Type Priority Milestone 1476 (scrutinizer) Should global types be smashed in local contexts? new task minor 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 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 1606 Add code to lfa2 for extinguishing SRFI-4 predicates assigned felix winkelmann enhancement minor someday 1762 Maybe/Just Int checker in Silex compilation reopened enhancement not urgent at all someday 1155 values and the scrutinizer new defect not urgent at all someday 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