Custom Query – ddc

Status: closed (12 matches)

Ticket	Summary	Owner	Type	Priority	Version	Resolution
#58	Panic in type inferencer		defect	blocker	0.1.2	fixed
#72	Kind error with projections in recursive function	--	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
#82	Shape crusher isn't preserving effect and closure terms	benl	defect	blocker	0.1.2	fixed
#84	Fix postgeneralisation check.		defect	blocker	0.1.2	fixed
#100	Output gets printed twice	benl	defect	blocker	0.1.2	fixed
#182	Fix Order4-5 example	benl	defect	blocker		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
#154	Refactor TFetters to TConstrained	benl	refactor	blocker	0.1.2	fixed
#76	Compilation time is exponential in depth of constructor nesting		task	blocker		fixed

Ticket	Summary	Owner	Type	Priority	Version	Resolution
#181	Fix display of node effects in type error messages		defect	blocker		--
#188	Bad quantifier in type for "undefined"		defect	blocker	0.1.2	--