id	Summary	Status	Owner	Type	Priority	Milestone
1399	Scrutinizer produces incorrect procedure types after merge	reopened	evhan	defect	major	someday
1475	(scrutinizer) Types for global variables are not refined by predicates	new		defect	major	someday
1859	Type information doesn't survive calls to define-inline procedures	new		defect	major	someday
1176	Support capturing multiple value type in `forall`, etc.	new		enhancement	minor	someday
1215	Warn about too specific type declarations	new		enhancement	minor	someday
1476	(scrutinizer) Should global types be smashed in local contexts?	new		task	minor	someday
1606	Add code to lfa2 for extinguishing SRFI-4 predicates	assigned	felix winkelmann	enhancement	minor	someday
1155	values and the scrutinizer	new		defect	not urgent at all	someday
1445	Support parameterised hash table type declarations	new		enhancement	not urgent at all	someday
1446	Implement contravariant type checking for procedure types	new		enhancement	not urgent at all	someday
1471	[types] Enforce parameter types on specialization	new		enhancement	not urgent at all	someday
1762	Maybe/Just Int checker in Silex compilation	reopened		enhancement	not urgent at all	someday