[Chicken-janitors] #868: scrutinizer makes too strong assumptions about mutable data

[Chicken Trac]

#868: scrutinizer makes too strong assumptions about mutable data
-------------------------+--------------------------------------------------
 Reporter:  felix        |       Owner:  felix
     Type:  defect       |      Status:  new  
 Priority:  major        |   Milestone:       
Component:  scrutinizer  |     Version:  4.7.x
 Keywords:               |  
-------------------------+--------------------------------------------------
 Like this:

 {{{
 (define foo (make-vector 1 #f))
 (vector-set! foo 0 'sym)
 (print (get (vector-ref foo 0) 'a))
 }}}

 {{
 Warning: at toplevel:
   (x.scm:5) in procedure call to `get', expected argument #1 of type
 `symbol', but was given an argument of type `boolean'
 }}}

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