Custom Query (4 matches)

Filters
 
Columns

Show under each result:


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.