|
@@ -8514,8 +8514,8 @@ beginning of this chapter.
|
|
\begin{figure}[h]
|
|
\begin{figure}[h]
|
|
\begin{minipage}{0.8\textwidth}
|
|
\begin{minipage}{0.8\textwidth}
|
|
% tests/s4_6.rkt
|
|
% tests/s4_6.rkt
|
|
-\begin{lstlisting}%[basicstyle=\ttfamily\footnotesize]
|
|
|
|
-(define (f74 [x75 : Integer]) : (Integer -> Integer)
|
|
|
|
|
|
+\begin{lstlisting}[basicstyle=\ttfamily\small]
|
|
|
|
+(define (f74 [x75 : Integer]) : (Integer -> Integer)
|
|
(let ([y76 4])
|
|
(let ([y76 4])
|
|
(lambda: ( [z77 : Integer]) : Integer
|
|
(lambda: ( [z77 : Integer]) : Integer
|
|
(+ x75 (+ y76 z77)))))
|
|
(+ x75 (+ y76 z77)))))
|
|
@@ -8526,13 +8526,15 @@ beginning of this chapter.
|
|
(+ (g78 11) (h79 15)))))
|
|
(+ (g78 11) (h79 15)))))
|
|
\end{lstlisting}
|
|
\end{lstlisting}
|
|
$\Downarrow$
|
|
$\Downarrow$
|
|
-\begin{lstlisting}%[basicstyle=\ttfamily\footnotesize]
|
|
|
|
-(define (f74 [fvs82 : _] [x75 : Integer]) : (Vector ((Vector _) Integer -> Integer))
|
|
|
|
|
|
+\begin{lstlisting}[basicstyle=\ttfamily\small]
|
|
|
|
+(define (f74 [fvs82 : _] [x75 : Integer])
|
|
|
|
+ : (Vector ((Vector _) Integer -> Integer))
|
|
(let ([y76 4])
|
|
(let ([y76 4])
|
|
(vector (fun-ref lambda80) x75 y76)))
|
|
(vector (fun-ref lambda80) x75 y76)))
|
|
|
|
|
|
-(define (lambda80 [fvs81 : (Vector _ Integer Integer)] [z77 : Integer]) : Integer
|
|
|
|
- (let ([x75 (vector-ref fvs81 1)])
|
|
|
|
|
|
+(define (lambda80 [fvs81 : (Vector _ Integer Integer)] [z77 : Integer])
|
|
|
|
+ : Integer
|
|
|
|
+ (let ([x75 (vector-ref fvs81 1)])
|
|
(let ([y76 (vector-ref fvs81 2)])
|
|
(let ([y76 (vector-ref fvs81 2)])
|
|
(+ x75 (+ y76 z77)))))
|
|
(+ x75 (+ y76 z77)))))
|
|
|
|
|