Opened 13 years ago

Last modified 12 years ago

#868 closed defect

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

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 (last modified by felix winkelmann)

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'

Change History (1)

comment:1 Changed 13 years ago by felix winkelmann

Description: modified (diff)
Note: See TracTickets for help on using tickets.