[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Chicken-janitors] #803: setters like set-cdr! don't invalidate type
From: |
Chicken Trac |
Subject: |
Re: [Chicken-janitors] #803: setters like set-cdr! don't invalidate type information |
Date: |
Mon, 16 Apr 2012 13:24:38 -0000 |
#803: setters like set-cdr! don't invalidate type information
-----------------------+----------------------------------------------------
Reporter: sjamaan | Owner:
Type: defect | Status: new
Priority: major | Milestone: 4.8.0
Component: compiler | Version: 4.7.x
Resolution: | Keywords: scrutinizer, optimizations
-----------------------+----------------------------------------------------
Comment(by felix):
It looks like `smash-component-types!` needs not only to smash components
but also change `list` and `list-of` types to `(pair ...)`, since `set-
cdr!` may convert a proper list into an improper one.
--
Ticket URL: <http://bugs.call-cc.org/ticket/803#comment:1>
Chicken Scheme <http://www.call-with-current-continuation.org/>
Chicken Scheme is a compiler for the Scheme programming language.
- Re: [Chicken-janitors] #803: setters like set-cdr! don't invalidate type information,
Chicken Trac <=