Re: Type contagion

[haible (Bruno Haible)]

Raymond Toy <toy@rtp.ericsson.se> writes:

> I have a simple question about type contagion on clisp.  According to
> impnotes.txt, type contagion is not implemented as specified by CLTL.
> I understand the reasons given, and they certainly make sense.
>
> Is there any way to get type contagion to work more like CLTL?

No.

> However, they also make double-float work more difficult because I
> have to be much more careful about mixing single-floats and
> double-floats together.

You would have to be careful when mixing single-floats and double-floats
anyway. With the CLtL contagion rules, however, you would not notice that
you have to be careful.


                    Bruno Haible
                    haible@ma2s2.mathematik.uni-karlsruhe.de