check

book.tex

@@ -6277,7 +6277,7 @@ $\Downarrow$
 \begin{lstlisting}%[basicstyle=\ttfamily\footnotesize]
 (program (type Integer)
   (define (f (clos.1 : _) (x : Integer)) : (Integer -> Integer)
-     (let ((y  4))
+     (let ((y 4))
         (vector (function-ref lam.1) x y)))
   (define (lam.1 (clos.2 : _) (z : Integer)) : Integer
      (let ((x (vector-ref clos.2 1)))
@@ -6287,8 +6287,8 @@ $\Downarrow$
               (app (vector-ref t.1 0) t.1 5))))
       (let ((h (let ((t.2 (vector  (function-ref f))))
                  (app (vector-ref t.2 0) t.2 3))))
-         (+ (let ((t.3  g)) (app (vector-ref t.3 0) t.3 11))
-            (let ((t.4  h)) (app (vector-ref t.4 0) t.4 15))))))
+         (+ (let ((t.3 g)) (app (vector-ref t.3 0) t.3 11))
+            (let ((t.4 h)) (app (vector-ref t.4 0) t.4 15))))))
 \end{lstlisting}
 \end{minipage}
 

notes.md

@@ -102,7 +102,7 @@ V
     arg ::= x | n | #t | #f
     exp ::= arg | (op arg*)
     tail ::= (return exp) | (seq stmt tail)
-           | (goto label) | (if (op arg*) ((goto label)) ((goto label)))
+           | (goto label) | (if (op arg*) (goto label) (goto label))
     stmt ::= (assign x exp)
     C1 ::= (program ((type . type)) ((label . tail)*))
 
@@ -119,7 +119,7 @@ V
     arg ::= x | n | #t | #f
     exp ::= arg | (op arg*)
     tail ::= (return exp) | (seq stmt tail)
-           | (goto label) | (if (op exp*) ((goto label)) ((goto label)))
+           | (goto label) | (if (op exp*) (goto label) (goto label))
     stmt ::= (assign x exp)
     C1 ::= (program ((type . type) (locals . x*)) 
                     ((label . tail)*))
@@ -213,7 +213,7 @@ V
     arg ::= x | n | #t | #f | (void)
     exp ::= arg | (op arg*) | (allocate n type) | (global-value x) 
           | (has-type exp type)
-    tail ::= (goto label) | (if (op arg*) ((goto label)) ((goto label)))
+    tail ::= (goto label) | (if (op arg*) (goto label) (goto label))
           | (return exp) | (seq stmt tail)
     stmt ::= (assign x exp) | (collect n)
     C2 ::= (program ((type . type)) ((label . tail)*))
@@ -349,7 +349,7 @@ V
     arg ::= x | n | #t | #f | (void)
     exp ::= arg | (op arg*) | (allocate n type) | (global-value x) 
           | (has-type exp type) | (app arg arg*)
-    tail ::= (goto label) | (if (op arg*) ((goto label)) ((goto label)))
+    tail ::= (goto label) | (if (op arg*) (goto label) (goto label))
           | (return exp) | (seq stmt tail) | (tailcall arg arg*)
     stmt ::= (assign x exp) | (collect n)
     def ::= (define (var [var : type]*) : type ((label . tail)*))
@@ -357,4 +357,4 @@ V
 
 
 |
-V
+V