Merge branch 'master' of https://github.com/Compiler-Construction-Uni-Freiburg/Essentials-of-Compilation

book.bib

@@ -36,7 +36,7 @@
   volume = 	 3,
   number = 	 4,
   pages = 	 {343--380},
-  month = 	 {November}}
+  month = 	 nov}
 
 @book{Appel91,
   place={Cambridge},

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}}
@@ -17270,6 +17270,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)