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