Custom Query (3 matches)
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.
