|
|
@@ -11020,7 +11020,9 @@ The concrete syntax of $R_9$ is defined in
|
|
|
Figure~\ref{fig:r9-concrete-syntax} and its abstract syntax is defined
|
|
|
in Figure~\ref{fig:r9-syntax}. The main syntactic difference between
|
|
|
$R_8$ and $R_9$ is the additional \itm{param} and \itm{ret}
|
|
|
-non-terminals that make type annotations optional.
|
|
|
+non-terminals that make type annotations optional. The return types
|
|
|
+are not optional in the abstract syntax; the parser fills in
|
|
|
+\code{Any} when the return type is not specified.
|
|
|
|
|
|
\begin{figure}[tp]
|
|
|
\centering
|
Jeremy Siek