Custom Query (2 matches)
Resolution: fixed (2 matches)
| Ticket | Summary | Owner | Type | Priority | Version | Reporter |
|---|---|---|---|---|---|---|
| #71 | Better error message for unimplemented class functions | erikd | defect | blocker | 0.1.2 | benl |
| #53 | Check for name shadowing in forall quantifiers. | erikd | defect | blocker | 0.1.2 | benl |
Note: See TracQuery
for help on using queries.
