Custom Query (5 matches)
Resolution: fixed (5 matches)
| Ticket | Summary | Owner | Type | Priority | Component | Version |
|---|---|---|---|---|---|---|
| #71 | Better error message for unimplemented class functions | erikd | defect | blocker | Source Parser | 0.1.2 |
| #53 | Check for name shadowing in forall quantifiers. | erikd | defect | blocker | Source Parser | 0.1.2 |
| #39 | Emit an error if modules are recursive. | erikd | defect | normal | Compilation Driver | |
| #33 | Check for conflicting projection functions. | erikd | defect | normal | Build System | 0.1.2 |
| #26 | Improve runtime of Core.Reconstruct. | enhancement | normal | Core Type Checker |
Note: See TracQuery
for help on using queries.
