id	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
76	Compilation time is exponential in depth of constructor nesting		task	blocker		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
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
182	Fix Order4-5 example	benl	defect	blocker		fixed
181	Fix display of node effects in type error messages		defect	blocker		--
188	"Bad quantifier in type for ""undefined"""		defect	blocker	0.1.2	--