Language standards for LispOS

[Chris Bitmead uid]

Marc Wachowitz wrote:

>hbaker@netcom.com (Henry G. Baker) wrote:
>> If certain CL functions _should_ be returning immutable
>> conses, and if some program depends upon the fact that they don't,
>> then of course it should break.
>
>Sure, that's exactly what I was suggesting. However, if we would make
>CONS-IMMUTABLE a supertype of CONS, we would break any program which
>assumes that what it gets is a CONS, even if it does only read it. 

Why would it break it? I just can't see how. In a staticly typed
language, sure I can see that. But in a dynamically typed language???