From d46b756349b57536a51a4c40c219e2fe1b756769 Mon Sep 17 00:00:00 2001
From: Cameron DaCamara <cadacama@microsoft.com>
Date: Mon, 28 Feb 2022 05:32:24 -0800
Subject: [PATCH] add missing Msvc* entries in source literal table (#50)

* add missing Msvc* entries in source literal table

* Update words.tex

Co-authored-by: Gabriel Dos Reis <GabrielDosReis@users.noreply.github.com>
---
 ltx/words.tex | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)

diff --git a/ltx/words.tex b/ltx/words.tex
index 143af49..35f5cb5 100644
--- a/ltx/words.tex
+++ b/ltx/words.tex
@@ -402,6 +402,9 @@ \subsubsection{\valueTag{WordSort::Literal}}
 	\enumerator{MsvcFunctionNameMacro}
 	\enumerator{MsvcStringPrefixMacro}
 	\enumerator{MsvcBinding}
+	\enumerator{MsvcResolvedType}
+	\enumerator{MsvcDefinedConstant}
+	\enumerator{MsvcCastTargetType}
 \end{Enumeration}
 
 \paragraph{\valueTag{SourceLiteral::Unknown}}
@@ -464,6 +467,27 @@ \subsubsection{\valueTag{WordSort::Literal}}
 and references (\secref{sec:ifc:ExprSort:NamedDecl}) the declarations bound 
 to that identifier.
 
+\paragraph{\valueTag{SourceLiteral::MsvcResolvedType}}  
+\label{sec:ifc:SourceLiteral:MsvcResolvedType}
+
+A literal word denoting a fully resolved type at the C++ source-level.  The
+\field{index} field is of type \type{TypeIndex}.
+
+\paragraph{\valueTag{SourceLiteral::MsvcDefinedConstant}}  
+\label{sec:ifc:SourceLiteral:MsvcDefinedConstant}
+
+A literal word denoting a user-defined constant literal at the C++ source-level.
+The \field{index} field is of type \type{ExprIndex} and refers to a
+(\secref{sec:ifc:ExprSort:Tuple}) of two elements containing the literal constant
+value as the first element and the literal suffix identifier as the second.
+
+\paragraph{\valueTag{SourceLiteral::MsvcCastTargetType}}  
+\label{sec:ifc:SourceLiteral:MsvcCastTargetType}
+
+A literal word denoting a fully resolved type as the target type of a functional
+cast expression at the C++ source-level.  The \field{index} field is of type
+\type{TypeIndex}.
+
 \subsubsection{\valueTag{WordSort::Operator}}
 \label{sec:ifc:WordSort:Operator}