id Summary Status Owner Type Priority Milestone 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 1464 ir-macro-expander's compare + define-syntax + modules don't mix new defect major 6.0.0 1471 [types] Enforce parameter types on specialization new enhancement not urgent at all someday 1452 [test egg]: test-group eats the call-chain on error new defect minor someday 1729 [fmt egg]: Num fails with numbers near 0 assigned foof defect major someday 1446 Implement contravariant type checking for procedure types new enhancement not urgent at all 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 1475 (scrutinizer) Types for global variables are not refined by predicates new defect major 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