Custom Query (5 matches)
Status: assigned (1 match)
| Ticket | Summary | Owner | Type | Priority | Version | Created |
|---|---|---|---|---|---|---|
| #1606 | Add code to lfa2 for extinguishing SRFI-4 predicates | enhancement | minor | 5.0.0 | 4 years ago | |
Status: new (3 matches) |
||||||
| Ticket | Summary | Owner | Type | Priority | Version | Created |
| #1446 | Implement contravariant type checking for procedure types | enhancement | not urgent at all | 5.0.0 | 6 years ago | |
| #1476 | (scrutinizer) Should global types be smashed in local contexts? | task | minor | 5.0.0 | 5 years ago | |
| #1475 | (scrutinizer) Types for global variables are not refined by predicates | defect | major | 5.0.0 | 5 years ago | |
Status: reopened (1 match) |
||||||
| Ticket | Summary | Owner | Type | Priority | Version | Created |
| #1399 | Scrutinizer produces incorrect procedure types after merge | defect | major | 4.12.0 | 6 years ago | |
Note: See TracQuery
for help on using queries.
