[Chicken-janitors] #250: debug flag to list exported bindings to which no-procedure-checks-for-toplevel-bindings was applied

[Chicken Trac]

#250: debug flag to list exported bindings to which no-procedure-checks-for-
toplevel-bindings was applied
-----------------------------+----------------------------------------------
 Reporter:  felix            |       Owner:  felix
     Type:  defect           |      Status:  new  
 Priority:  major            |   Milestone:  4.6.0
Component:  compiler         |     Version:  4.5.0
 Keywords:  procedure check  |  
-----------------------------+----------------------------------------------
 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.

-- 
Ticket URL: <http://www.irp.oist.jp/trac/chicken/ticket/250>
Chicken Scheme <http://www.call-with-current-continuation.org/>
Chicken Scheme is a compiler for the Scheme programming language.