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:  critical     |   Milestone:  4.8.0
 Component:  scrutinizer  |     Version:  4.7.x
Resolution:               |    Keywords:       
--------------------------+-------------------------------------------------

Comment(by felix):

 Replying to [comment:2 felix]:
 > The entries for `make-vector` and `cons`, `list` and all other
 constructors probably have to be weakened in `types.db` - the returned
 data may be mutated and so can change type.

 That's nonsense, actually. The real problem is that smashing happens only
 for env + blist entries, not for globals.

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