Skip to content

Commit

Permalink
Fix thinkos in class type object expression description (microsoft#36) (
Browse files Browse the repository at this point in the history
microsoft#37)

The fields denoting the type of an expression designating an object of class  is _TypeIndex_, not _DeclIndex_.
  • Loading branch information
GabrielDosReis authored Nov 25, 2021
1 parent ec4fca7 commit 2f9d6ed
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 @@ -1285,7 +1285,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 @@ -1297,7 +1297,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 @@ -1317,7 +1317,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 @@ -1331,7 +1331,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 2f9d6ed

Please sign in to comment.