Custom Query (6 matches)


Show under each result:

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.