Re: [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
Resolution:               |    Keywords:       
--------------------------+-------------------------------------------------
Description changed by felix:

Old description:

> 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'
> }}}

New description:

 Like this:

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

 When compiled in block mode, we get:

 {{{
 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#comment:1>
Chicken Scheme <http://www.call-with-current-continuation.org/>
Chicken Scheme is a compiler for the Scheme programming language.