Merge pull request #983 from herd/asl-reference-cosmetics

[asl][reference] cosmetics
herd · Sep 25, 2024 · b7a5d22 · b7a5d22
2 parents b57818e + 61032d9
commit b7a5d22
Show file tree

Hide file tree

Showing 2 changed files with 32 additions and 32 deletions.
diff --git a/asllib/doc/ASLRefProgress.tex b/asllib/doc/ASLRefProgress.tex
@@ -101,6 +101,15 @@ \subsection{Catching Operator Precedence Errors}
 \end{tabular}
 \end{center}
 
+% ------------------------------------------------------------------------------
+\section{Semantics}
+
+\subsection{Enforcing Loop Limits}
+\verb|@looplimit| annotations are type-checked but not enforced for \texttt{while} and \texttt{repeat} loops.
+
+\subsection{Non-\texttt{main} Entry Point}
+Currently ASLRef only supports \texttt{main} as an entry point.
+
 % ------------------------------------------------------------------------------
 \section{Typing}
 
@@ -187,18 +196,33 @@ \subsubsection{\texttt{as} Expression With a Constrained Type}
 
 \lrmcomment{This is related to \identi{TBHH}, \identr{ZDKC}.}
 
+% ------------------------------------------------------------------------------
+\chapter{Issues Not Yet Addressed by the References}
+% ------------------------------------------------------------------------------
+
 % ------------------------------------------------------------------------------
 \section{Semantics}
 
-\subsection{Enforcing Loop Limits}
-\verb|@looplimit| annotations are type-checked but not enforced for \texttt{while} and \texttt{repeat} loops.
+% \subsection{Base values of types}
 
-\subsection{Non-\texttt{main} Entry Point}
-Currently ASLRef only supports \texttt{main} as an entry point.
+% Finding the base value of a type is not transliterated.
 
-% ------------------------------------------------------------------------------
-\chapter{Issues Not Yet Addressed by the References}
-% ------------------------------------------------------------------------------
+% \lrmcomment{This is related to \identr{NJDZ}, \identr{CFTD}, \identr{QGGH}, \identi{WVQZ},
+% \identr{GYCG}, \identr{WKCY}, \identr{LCCN}, \identr{CPCK}, \identr{ZVPT},
+% \identi{QFZH}, \identr{ZGVR}, \identi{PGSS}, \identr{QWSQ}, \identr{HMRK},
+% \identr{MBRM}, \identr{SVJB}.}
+
+% \subsection{Operations}
+% Operations are not transliterated from ASLRef.
+
+% \lrmcomment{This is related to \identr{NCWM}, \identr{VGZF}, \identr{THSV}, \identr{CRQJ},
+% \identr{ZTJN}, \identr{SVMM}, \identr{WWTV}, \identr{GHXR}, \identi{NBCT}.}
+
+\subsection{Standard Library and Primitives}
+
+The standard library is not yet defined by a reference.
+
+\lrmcomment{This is related to \identr{RXYN}.}
 
 % ------------------------------------------------------------------------------
 \section{Typing}
@@ -260,30 +284,6 @@ \subsection{Calls to Setters and Getters}
 
 % \lrmcomment{This is related to \identr{ZJKY} and \identi{RYRP}.}
 
-% ------------------------------------------------------------------------------
-\section{Semantics}
-
-% \subsection{Base values of types}
-
-% Finding the base value of a type is not transliterated.
-
-% \lrmcomment{This is related to \identr{NJDZ}, \identr{CFTD}, \identr{QGGH}, \identi{WVQZ},
-% \identr{GYCG}, \identr{WKCY}, \identr{LCCN}, \identr{CPCK}, \identr{ZVPT},
-% \identi{QFZH}, \identr{ZGVR}, \identi{PGSS}, \identr{QWSQ}, \identr{HMRK},
-% \identr{MBRM}, \identr{SVJB}.}
-
-% \subsection{Operations}
-% Operations are not transliterated from ASLRef.
-
-% \lrmcomment{This is related to \identr{NCWM}, \identr{VGZF}, \identr{THSV}, \identr{CRQJ},
-% \identr{ZTJN}, \identr{SVMM}, \identr{WWTV}, \identr{GHXR}, \identi{NBCT}.}
-
-\subsection{Standard Library and Primitives}
-
-The standard library is not yet defined by a reference.
-
-\lrmcomment{This is related to \identr{RXYN}.}
-
 % ------------------------------------------------------------------------------
 \section{Side-Effects}
 

diff --git a/asllib/doc/ASLSyntaxReference.tex b/asllib/doc/ASLSyntaxReference.tex
@@ -2615,7 +2615,7 @@ \section{Example}
 we apply $\buildstmtlist$ to transform the parse node $\vstmtlist$ for the body of the list into the corresponding AST node,
 and finally return the AST node for \texttt{while} loops --- $\SWhile$ --- with the two nodes as its children.
 
-\subsection{Abbreviated Rule Notation}
+\section{Abbreviated Rule Notation}
 Notice that there is only one instance of $\Nexpr$ and one instance of $\Nstmtlist$ in this production.
 This is very common and we therefore use the following shorthand notation for such cases, as explained next.