Ticket #868 (closed defect: fixed)
scrutinizer makes too strong assumptions about mutable data
|Reported by:||felix||Owned by:||felix|
Description (last modified by felix) (diff)
(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'
Note: See TracTickets for help on using tickets.