Jeremy Siek 4 年 前
コミット
7faf1ffc8e
1 ファイル変更1 行追加1 行削除
  1. 1 1
      book.tex

+ 1 - 1
book.tex

@@ -8508,7 +8508,7 @@ parameters (the length of \itm{ps}).
 \begin{lstlisting}
 (Lambda |\itm{ps}| |\itm{rt}| |\itm{body}|)
 |$\Rightarrow$|
-(Closure |\itm{arity}| (FunRef |\itm{name}|) |\itm{fvs}|)
+(Closure |\itm{arity}| (cons (FunRef |\itm{name}|) |\itm{fvs}|))
 \end{lstlisting}
 In addition to transforming each \key{Lambda} into a \key{Closure}, we
 create a top-level function definition for each \key{Lambda}, as