From: Raymond Toy
Subject: (upgraded-complex-part-type 'cons)?
Date: Fri, 19 Jul 2002 18:23:59 +0000
Message-ID: <4nbs93ink0.fsf@edgedsp4.rtp.ericsson.se>

What is upgraded-complex-part-type supposed to do when given a
typespec that isn't a subtype of real?

Clisp, ACL, and CMUCL return T for this.  LW barfs.

CLHS doesn't really cover this issue, but the entry for the class
complex says the typespec must be a subtype of real.

I think LW is right since you can't have a complex number with
components which are not subtypes of REAL.

Ray