the COMPLEX type is a bit weird, though: (COMPLEX <x>) means the complex type whose elements match <x>, and all other types of the same representation -- it's a bit like an array type. I'm not claiming that the COMPLEX type algebra is bug-free, but I don't think any of these examples is strictly speaking wrong.
the COMPLEX type is a bit weird, though: (COMPLEX <x>) means the complex type whose elements match <x>, and all other types of the same representation -- it's a bit like an array type. I'm not claiming that the COMPLEX type algebra is bug-free, but I don't think any of these examples is strictly speaking wrong.