chicken-janitors
[Top][All Lists]
Advanced

[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.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]