[Chicken-janitors] #873: allow user types to specify argument-type enforcement

[Chicken Trac]

#873: allow user types to specify argument-type enforcement
-------------------------------+--------------------------------------------
 Reporter:  felix              |       Owner:  felix
     Type:  enhancement        |      Status:  new  
 Priority:  not urgent at all  |   Milestone:       
Component:  scrutinizer        |     Version:  4.7.x
 Keywords:                     |  
-------------------------------+--------------------------------------------
 A procedure type of the form `(... ->! ...)` could mark a procedure as
 enforcing.

-- 
Ticket URL: <http://bugs.call-cc.org/ticket/873>
Chicken Scheme <http://www.call-with-current-continuation.org/>
Chicken Scheme is a compiler for the Scheme programming language.