Custom Query (3 matches)

Filters
 
Columns

Show under each result:


Status: closed (2 matches)

Ticket Summary Owner Type Priority Version Resolution
#53 Check for name shadowing in forall quantifiers. erikd defect blocker 0.1.2 fixed
#71 Better error message for unimplemented class functions erikd defect blocker 0.1.2 fixed

Status: new (1 match)

Ticket Summary Owner Type Priority Version Resolution
#40 Check for overlapping projection dictionaries during type inference defect normal 0.1.2 --
Note: See TracQuery for help on using queries.