Opened 13 years ago

Last modified 12 years ago

#868 closed defect

scrutinizer makes too strong assumptions about mutable data — at Initial Version

Reported by: felix winkelmann Owned by: felix winkelmann
Priority: critical Milestone: 4.9.0
Component: scrutinizer Version: 4.7.x
Keywords: Cc:
Estimated difficulty:

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'

}}}

Change History (0)

Note: See TracTickets for help on using tickets.