Custom Query (6 matches)
| Ticket | Summary | Status | Owner | Type | Priority | Milestone |
|---|---|---|---|---|---|---|
| #276 | Delay lifting of indices in type environments. | new | refactor | normal | ||
| #281 | Well-formedness check for distinct witnesses is too strict. | new | feature | normal | ||
| #323 | Insert type lambdas during inference with higher ranked types. | new | feature | normal | ||
| #373 | Check that type equations are not recursive. | new | bug | normal | ||
| #374 | Check specified kinds of type equations against their infered kinds. | new | bug | normal | ||
| #332 | Type inference does not handle deBruijn variables. | new | bug | low |
Note: See TracQuery
for help on using queries.
