Phrase Kind
My hierarchy of kinds of phrases.
Parameters
The JSON name of this type.
The kind of phrase for which this is a subkind.
The type tag associated with phrases of this kind.
Entries
The root phrase kind.
The abstract parent kind of all expression phrases.
The kind of a parse marker.
The kind of an assignment phrase.
The kind of a block phrase.
The kind of a literal phrase.
The kind of a reference phrase.
The kind of a super cast phrase.
The kind of a send phrase.
The kind of a list phrase.
The kind of a permuted list phrase.
The kind of a variable use phrase.
The kind of a sequence-as-expression.
A phrase that does not produce a result.
The kind of a sequence phrase.
The kind of a first-of-sequence phrase.
The kind of a declaration phrase.
The kind of an argument declaration phrase.
The kind of a label declaration phrase.
The kind of a local variable declaration phrase.
The kind of a local constant declaration phrase.
The kind of a module variable declaration phrase.
The kind of a module constant declaration phrase.
The kind of a primitive failure reason variable declaration.
A statement phrase built from an expression. At the moment, only assignments and sends can be expression-as-statement phrases.
The result of a macro substitution.
Types
Functions
Answer the PhraseKind that is the nearest common ancestor to both the receiver and the argument. Only use this after static initialization has completed.
Answer the PhraseKind that is the nearest common descendant to both the receiver and the argument. Only use this after static initialization has completed.
Create a phrase type given the yield type (the type of object produced by the expression).
Create a descriptor for this kind.
Create a phrase type given the yield type (the type of object produced by the expression).
Answer whether this is a subkind of (or equal to) the specified PhraseKind.
Answer the kind of phrase of which this object is the type.
Properties
Answer a phrase type whose kind is the receiver and whose expression type is top. This is the most general phrase type of that kind.