id summary reporter owner description type status priority milestone component version resolution keywords cc difficulty 250 debug flag to list exported bindings to which no-procedure-checks-for-toplevel-bindings was applied felix winkelmann felix winkelmann "This can be used to locate externally visible toplevel bindings for which no checks are generated. The reason for this is that lately all runtime libraries are compiled with this declaration, which might have been a mistake: assigning a non-procedure value to such an exported bindings will result in a crash when called inside the runtime system. Bad. The declaration will have to be disabled and explicit `bound-to-procedure` declarations for calls to internal (`##sys#...`) bindings. It is perhaps be an option to perform the procedure check generally inline. " defect closed critical compiler 4.5.0 fixed procedure check