This shows you the differences between two versions of the page.
cl:functions:upgraded-complex-part-type [2019/09/14 05:00] |
cl:functions:upgraded-complex-part-type [2021/01/25 18:00] (current) |
||
---|---|---|---|
Line 1: | Line 1: | ||
+ | ====== Function UPGRADED-COMPLEX-PART-TYPE ====== | ||
+ | |||
+ | ====Syntax==== | ||
+ | * **upgraded-complex-part-type** //typespec ''&optional'' environment// → //upgraded-typespec// | ||
+ | |||
+ | ====Arguments and Values==== | ||
+ | * //typespec// - a //[[CL:Glossary:type specifier]]//. | ||
+ | * //environment// - an //[[CL:Glossary:environment]]// //[[CL:Glossary:object]]//. The default is **[[CL:Constant Variables:nil]]**, denoting the //[[CL:Glossary:null lexical environment]]// and the and current //[[CL:Glossary:global environment]]//. | ||
+ | * //upgraded-typespec// - a //[[CL:Glossary:type specifier]]//. | ||
+ | |||
+ | ====Description==== | ||
+ | **upgraded-complex-part-type** returns the part type of the most specialized //[[CL:Glossary:complex]]// number representation that can hold parts of //[[CL:Glossary:type]]// //[[CL:Glossary:typespec]]//. | ||
+ | |||
+ | The //typespec// is a //[[CL:Glossary:subtype]]// of (and possibly //[[CL:Glossary:type equivalent]]// to) the //upgraded-typespec//. | ||
+ | |||
+ | The purpose of **upgraded-complex-part-type** is to reveal how an implementation does its //[[CL:Glossary:upgrade|upgrading]]//. | ||
+ | |||
+ | ====Examples==== | ||
+ | None. | ||
+ | |||
+ | ====Side Effects==== | ||
+ | None. | ||
+ | |||
+ | ====Affected By==== | ||
+ | None. | ||
+ | |||
+ | ====Exceptional Situations==== | ||
+ | None. | ||
+ | |||
+ | ====See Also==== | ||
+ | ***[[CL:Functions:complex|Function COMPLEX]]** | ||
+ | ***[[CL:Types:complex|Type COMPLEX]]** | ||
+ | |||
+ | ====Notes==== | ||
+ | |||
+ | \issue{SUBTYPEP-ENVIRONMENT:ADD-ARG} \issue{ARRAY-TYPE-ELEMENT-TYPE-SEMANTICS:UNIFY-UPGRADING} | ||