--- a/src/ast_type.rs
+++ b/src/ast_type.rs
@@ -84,6 +84,16 @@ impl Visitor<Type> for Typing {
                 }
                 Type::Bottom
             },
+            Statement::While(test, body, orelse) => {
+                self.visit_expr(test);
+                for statement in body {
+                    self.visit_statement(statement);
+                }
+                for statement in orelse {
+                    self.visit_statement(statement);
+                }
+                Type::Bottom
+            },
             Statement::For(target, iter, body, orelse) => {
                 self.visit_expr(target);
                 self.visit_expr(iter);
@@ -126,6 +136,9 @@ impl Visitor<Type> for Typing {
             Statement::Expr(expr) => {
                 self.visit_expr(expr)
             },
+            Statement::Break => {
+                Type::Bottom
+            },
             Statement::Error => {
                 println!("Statement::Error");
                 panic!()