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:       
--------------------------+-------------------------------------------------
Changes (by felix):

  * priority:  major => critical
  * milestone:  => 4.8.0


Comment:

 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.

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