|
@@ -19033,12 +19033,9 @@ integer in the grammar but is allowed to be any expression.
|
|
|
to produce a tagged value; they return {\TRUE} if the tag corresponds to
|
|
|
the predicate and return {\FALSE} otherwise.}
|
|
|
|
|
|
-The type checker for \LangAny{} is shown in
|
|
|
-figure~\ref{fig:type-check-Lany}
|
|
|
-%
|
|
|
-\racket{ and uses the auxiliary functions presented in
|
|
|
-figure~\ref{fig:type-check-Lany-aux}}.
|
|
|
-%
|
|
|
+\racket{The type checker for \LangAny{} is shown in figure~\ref{fig:type-check-Lany}
|
|
|
+and it uses the auxiliary functions presented in figure~\ref{fig:type-check-Lany-aux}.}
|
|
|
+\python{The type checker for \LangAny{} is shown in figure~\ref{fig:type-check-Lany}.}
|
|
|
The interpreter for \LangAny{} is shown in figure~\ref{fig:interp-Lany} and
|
|
|
its auxiliary functions are shown in figure~\ref{fig:interp-Lany-aux}.
|
|
|
|