[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Chicken-janitors] #868: scrutinizer makes too strong assumptions ab
From: |
Chicken Trac |
Subject: |
Re: [Chicken-janitors] #868: scrutinizer makes too strong assumptions about mutable data |
Date: |
Sat, 16 Jun 2012 11:59:18 -0000 |
#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.