|
@@ -8174,7 +8174,7 @@ particularly illuminating because it deals with the challenges we
|
|
|
discussed above regarding nested \key{if} expressions
|
|
|
(Figure~\ref{fig:explicate-control-s1-38}). The
|
|
|
\racket{\lstinline{thn^}}\python{\code{body}} and
|
|
|
-\racket{\lstinline{els^}}\python{\code{orlese}} branches of the
|
|
|
+\racket{\lstinline{els^}}\python{\code{orelse}} branches of the
|
|
|
\key{if} inherit their context from the current one, that is,
|
|
|
predicate context. So you should recursively apply
|
|
|
\code{explicate\_pred} to the
|