newLabel

fun newLabel(    token: A_Token,     returnTypeExpression: A_Phrase,     declaredType: A_Type): A_Phrase

Construct a new declaration of a DeclarationKind.LABEL.

Return

The new label declaration.

Parameters

token

The token that is the defining occurrence of the name of the label being declared.

returnTypeExpression

The expression that produced the type for the entity being declared, or nil if there was no such expression. Note that this expression produced the return type of the continuation type, not the continuation type itself.

declaredType

The type of the label being declared, which must be a continuation type whose contained function type agrees with the block in which the label occurs.