Merge branch 'master' of github.com:IUCompilerCourse/Essentials-of-Compilation

book.tex

@@ -22,7 +22,7 @@
 
 \def\racketEd{0}
 \def\pythonEd{1}
-\def\edition{1}
+\def\edition{0}
 
 % material that is specific to the Racket edition of the book
 \newcommand{\racket}[1]{{\if\edition\racketEd{#1}\fi}}
@@ -11233,10 +11233,11 @@ print( ((42,),)[0][0] )
 \label{sec:shrink-Lvec}
 
 Recall that the \code{shrink} pass translates the primitives operators
-into a smaller set of primitives. Because this pass comes after type
-checking, but before the passes that require the type information in
-the \code{HasType} AST nodes, the \code{shrink} pass must be modified
-to wrap \code{HasType} around each AST node that it generates.
+into a smaller set of primitives.
+%
+This pass comes after type checking and the type checker adds a
+\code{HasType} AST node around each \code{vector} AST node, so you'll
+need to add a case for \code{HasType} to the \code{shrink} pass.
 
 \fi}