Custom Query (12 matches)

Filters
 
Columns

Show under each result:


Resolution: fixed (12 matches)

Ticket Summary Owner Type Priority Version Reporter
#76 Compilation time is exponential in depth of constructor nesting task blocker benl
#182 Fix Order4-5 example benl defect blocker benl
#84 Fix postgeneralisation check. defect blocker 0.1.2 benl
#72 Kind error with projections in recursive function -- defect blocker 0.1.2 benl
#152 Merge Core.Util.Pack with Type.Util.Pack benl refactor blocker 0.1.2 benl
#153 Merge Core.Util.Trim with Type.Util.Trim benl refactor blocker 0.1.2 benl
#100 Output gets printed twice benl defect blocker 0.1.2 erikd@…
#58 Panic in type inferencer defect blocker 0.1.2 benl
#154 Refactor TFetters to TConstrained benl refactor blocker 0.1.2 benl
#82 Shape crusher isn't preserving effect and closure terms benl defect blocker 0.1.2 benl
#75 Unresolved TApp during inference defect blocker 0.1.2 benl
#77 crushProjClassT panics when there are type errors erikd defect blocker 0.1.2 benl
Note: See TracQuery for help on using queries.