Custom Query (4 matches)
Ticket | Summary | Owner | Type | Status | Priority | Milestone |
---|---|---|---|---|---|---|
#44 | pseudo-parameter/c is borked | dherman | defect | closed | major | |
#48 | pseudo-parameter/c still borked for higher-order contracts | dherman | defect | closed | major | |
#385 | compilation error on racket v5.1.3 | dherman | defect | new | major | |
#49 | object-name wrong for (pseudo-parameter/c ... -> ...) | dherman | defect | closed | minor |
Note: See TracQuery
for help on using queries.