#

Function UPGRADED-COMPLEX-PART-TYPE

Syntax:

upgraded-complex-part-type typespec `&optional` environment => upgraded-typespec

Arguments and Values:

typespec---a type specifier.

environment---an environment object. The default is nil, denoting the null lexical environment and the and current global environment.

upgraded-typespec---a type specifier.

Description:

upgraded-complex-part-type returns the part type of the most specialized complex number representation that can hold parts of type typespec.

The typespec is a subtype of (and possibly type equivalent to) the upgraded-typespec.

The purpose of upgraded-complex-part-type is to reveal how an implementation does its upgrading.

Examples: None.

Side Effects: None.

Affected By: None.

Exceptional Situations: None.

See Also:

complex (function and type)

Notes:

The following X3J13 cleanup issues, not part of the specification, apply to this section:

- ARRAY-TYPE-ELEMENT-TYPE-SEMANTICS:UNIFY-UPGRADING
- SUBTYPEP-ENVIRONMENT:ADD-ARG

Copyright 1996-2001, Xanalys Inc. All rights reserved.