Llambda typechecker: fixed case AnnAssign

book.tex

@@ -15109,13 +15109,14 @@ class TypeCheckLlambda(TypeCheckLfun):
           case _:
             raise Exception('expected a tuple, not '  + repr(tup_t))
         self.check_stmts(ss[1:], return_ty, env)
-      case AnnAssign(Name(id), ty, value, simple):
+      case AnnAssign(Name(id), ty_annot, value, simple):
         ss[0].annotation = ty_annot
         if id in env:
-            self.check_type_equal(env[id], ty)
+            self.check_type_equal(env[id], ty_annot)
         else:
             env[id] = ty_annot
         self.check_exp(value, ty_annot, env)
+        self.check_stmts(ss[1:], return_ty, env)
       case _:
         self.type_check_stmts(ss, env)