Custom Query (14 matches)

Filters
 
Columns

Show under each result:


Status: closed (12 matches)

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

Status: new (2 matches)

Ticket Summary Owner Type Priority Version Resolution
#188 Bad quantifier in type for "undefined" defect blocker 0.1.2 --
#181 Fix display of node effects in type error messages defect blocker --
Note: See TracQuery for help on using queries.