Custom Query (9 matches)


Show under each result:

Ticket Summary Status Owner Type Priority Milestone
#347 Avoid name capture in dischargeConsWithElims new bug normal
#348 Restrict types of things that can be foreign imported new bug normal
#350 Core to Salt conversion of let-bound type applications is incomplete. new bug normal
#360 Remove need for extra Unit parameter on main function new feature normal
#54 Support value recursion new steggles feature low _|_
#108 Support infix operator definitions new steggles feature low _|_
#303 Allow builtin type names to be reused as data constructor names. new steggles feature low _|_
#330 Lambda lifter doesn't work with anonymous binders. new bug low
#332 Type inference does not handle deBruijn variables. new bug low
Note: See TracQuery for help on using queries.