Comment 3 for bug 1734959

Revision history for this message
Christophe Rhodes (csr21-cantab) wrote :

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.