id	Summary	Status	Owner	Type	Priority	Milestone
1464	ir-macro-expander's compare + define-syntax + modules don't mix	new		defect	major	6.0.0
1475	(scrutinizer) Types for global variables are not refined by predicates	new		defect	major	someday
1564	srfi-18: (mutex-unlock) Internal scheduler error	new		defect	major	6.0.0
1696	mutex-lock! doesn't always lock mutex	new		defect	major	someday
1729	[fmt egg]: Num fails with numbers near 0	assigned	foof	defect	major	someday
938	Feature Request: Load type files for units	assigned	felix winkelmann	enhancement	minor	6.0.0
1436	Don't disable inline file generation with -O5 (disable-interrupts)	new		change request	minor	6.0.0
1452	[test egg]: test-group eats the call-chain on error	new		defect	minor	someday
1476	(scrutinizer) Should global types be smashed in local contexts?	new		task	minor	someday
1491	##sys#expand-multiple-values-assignment works for some reason	new		defect	minor	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