id Summary Owner Type Priority Version Resolution 1606 Add code to lfa2 for extinguishing SRFI-4 predicates felix winkelmann enhancement minor 5.0.0 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 1475 (scrutinizer) Types for global variables are not refined by predicates defect major 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 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 1399 Scrutinizer produces incorrect procedure types after merge evhan defect major 4.12.0 1762 Maybe/Just Int checker in Silex compilation enhancement not urgent at all 5.2.0