create
fun createListNodeTypeNoCheck( listNodeEnumKind: PhraseTypeDescriptor.PhraseKind, yieldType: A_Type, subexpressionsTupleType: A_Type): A_Type
Content copied to clipboard
Create a list phrase type with the given yield type and the given tuple type of expression types. Assume the two types have already been made mutually canonical: They both represent constraints on the elements, so they should already be taking each other's restriction into account.
Return
A list phrase type.
Parameters
list
The partially initialized value PhraseKind.LIST_PHRASE.
yield
The tuple type that the list phrase will yield.
subexpressions
The tuple type of types of expression phrases that are the sub-phrases of the list phrase type. For a permuted list phrase, this field relates to the permuted subexpressions, not the lexical order of subexpressions. Thus, it is always in the same order as the yieldType.