check

book.tex

@@ -26,7 +26,7 @@
 
 \def\racketEd{0}
 \def\pythonEd{1}
-\def\edition{0}
+\def\edition{1}
 
 % material that is specific to the Racket edition of the book
 \newcommand{\racket}[1]{{\if\edition\racketEd{#1}\fi}}
@@ -17267,6 +17267,7 @@ class TypeCheckLany(TypeCheckLlambda):
         return typ
       case Call(Name('any_tuple_load'), [tup, index]):
         self.check_exp(tup, AnyType(), env)
+        self.check_exp(index, IntType(), env)
         return AnyType()
       case Call(Name('any_len'), [tup]):
         self.check_exp(tup, AnyType(), env)