[Chicken-janitors] #809: allow to specify argument-type enforcement in type signatures

[Chicken Trac]

#809: allow to specify argument-type enforcement in type signatures
-------------------------------+--------------------------------------------
 Reporter:  felix              |       Owner:       
     Type:  enhancement        |      Status:  new  
 Priority:  not urgent at all  |   Milestone:       
Component:  compiler           |     Version:  4.7.x
 Keywords:  scrutinizer        |  
-------------------------------+--------------------------------------------
 For example: `T1 ... ->! T2 ...` could specify a procedure type that is
 "enforcing".

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