Skip to content

Commit

Permalink
Fix thinkos in class type object expression description (#36)
Browse files Browse the repository at this point in the history
The fields denoting the type of an expression designating an object of class  is _TypeIndex_, not _DeclIndex_.
  • Loading branch information
GabrielDosReis committed Nov 25, 2021
1 parent 9e51128 commit 0c4c4b4
Showing 1 changed file with 4 additions and 4 deletions.
8 changes: 4 additions & 4 deletions ltx/exprs.tex
Original file line number Diff line number Diff line change
Expand Up @@ -1296,7 +1296,7 @@ \subsection{\valueTag{ExprSort::ProductTypeValue}}
\structure{
\DeclareMember{locus}{SourceLocation} \\
\DeclareMember{type}{TypeIndex} \\
\DeclareMember{class}{DeclIndex} \\
\DeclareMember{structure}{TypeIndex} \\
\DeclareMember{members}{ExprIndex} \\
\DeclareMember{base\_subobjects}{ExprIndex} \\
}
Expand All @@ -1308,7 +1308,7 @@ \subsection{\valueTag{ExprSort::ProductTypeValue}}
\begin{itemize}
\item \field{locus} denotes the source location of this expression.
\item \field{type} denotes the type of this expression.
\item \field{class} denotes the declaration of the class type of the object designated by this expression.
\item \field{structure} denotes the class type of the object designated by this expression.
\item \field{members} denotes the sequence of direct non-base class subobjects of the object.
\item \field{base\_subobjects} denotes the sequence of base class subobjects of the object.
\end{itemize}
Expand All @@ -1328,7 +1328,7 @@ \subsection{\valueTag{ExprSort::SumTypeValue}}
\structure{
\DeclareMember{locus}{SourceLocation} \\
\DeclareMember{type}{TypeIndex} \\
\DeclareMember{variant}{DeclIndex} \\
\DeclareMember{variant}{TypeIndex} \\
\DeclareMember{discriminant}{ActiveMember} \\
\DeclareMember{value}{ExprIndex} \\
}
Expand All @@ -1342,7 +1342,7 @@ \subsection{\valueTag{ExprSort::SumTypeValue}}
\begin{itemize}
\item \field{locus} denotes the source location of this expression.
\item \field{type} denotes the type of this expression.
\item \field{variant} denotes the declaration of the union class type of the object designated by this expression.
\item \field{variant} denotes the union class type of the object designated by this expression.
\item \field{disciminant} denotes the index of the active member of the union object
\item \field{value} denotes the value of the active member.
\end{itemize}
Expand Down

0 comments on commit 0c4c4b4

Please sign in to comment.