|
@@ -16946,7 +16946,7 @@ a local variable of the enclosing function:
|
|
\begin{minipage}{\textwidth}
|
|
\begin{minipage}{\textwidth}
|
|
{\if\edition\racketEd
|
|
{\if\edition\racketEd
|
|
\begin{lstlisting}
|
|
\begin{lstlisting}
|
|
-(define (f []) : Integer
|
|
|
|
|
|
+(define (f) : ( -> Integer)
|
|
(let ([x 0])
|
|
(let ([x 0])
|
|
(let ([g (lambda: () : Integer x)])
|
|
(let ([g (lambda: () : Integer x)])
|
|
(begin
|
|
(begin
|