Summary

debug flag to list exported bindings to which no-procedure-checks-for-toplevel-bindings was applied

Metadata

Description

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.

Changes and comments

[2010-05-25 16:40:01 UTC] felix changed priority from major to critical

[2010-05-26 13:52:20 UTC] felix changed status from new to closed

[2010-05-26 13:52:20 UTC] felix set resolution to fixed

[2010-05-26 13:52:20 UTC] felix wrote:

Slightly improved the situation (and add notices for visible assigned globals declared unsafe) in 1e78858365295e0807646eff12edba9634ccbc1f (exp.).

[2011-04-04 08:31:00 UTC] felix removed milestone 4.6.0

[2011-04-04 08:31:00 UTC] felix wrote:

Milestone 4.6.0 deleted