Custom Query (13 matches)
Status: closed (5 matches)
| Ticket | Summary | Owner | Type | Priority | Component | Version |
|---|---|---|---|---|---|---|
| #26 | Improve runtime of Core.Reconstruct. | enhancement | normal | Core Type Checker | ||
| #39 | Emit an error if modules are recursive. | erikd | defect | normal | Compilation Driver | |
| #53 | Check for name shadowing in forall quantifiers. | erikd | defect | blocker | Source Parser | 0.1.2 |
| #33 | Check for conflicting projection functions. | erikd | defect | normal | Build System | 0.1.2 |
| #71 | Better error message for unimplemented class functions | erikd | defect | blocker | Source Parser | 0.1.2 |
Status: new (8 matches)
| Ticket | Summary | Owner | Type | Priority | Component | Version |
|---|---|---|---|---|---|---|
| #41 | Refactor occurance checker to improve speed. | refactor | normal | Source Type Inferencer | ||
| #79 | Kind inference checking problem for mutable tuples | -- | defect | blocker | Source Type Inferencer | 0.1.2 |
| #19 | Erase calls to prim.force on objects in direct regions during Core.Simplify | enhancement | normal | Core Transforms | ||
| #68 | Do kind checking during constraint generation. | defect | blocker | Source Type Inferencer | 0.1.2 | |
| #9 | Disallow unboxed data being present in function closures. | defect | minor | Core Type Checker | 0.1.2 | |
| #67 | Compiler panic applying polymorphic functions to unboxed values | defect | blocker | Core Type Checker | 0.1.2 | |
| #34 | Check inferred type against signatures. | enhancement | blocker | Source Type Inferencer | ||
| #40 | Check for overlapping projection dictionaries during type inference | defect | normal | Source Parser | 0.1.2 |
Note: See TracQuery
for help on using queries.
