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.