diff --git a/src/abstract_tree/block.rs b/src/abstract_tree/block.rs
index e9a3ee9..57e62a8 100644
--- a/src/abstract_tree/block.rs
+++ b/src/abstract_tree/block.rs
@@ -40,7 +40,8 @@ impl AbstractTree for Block {
             let action = statement.run(_context)?;
             previous = match action {
                 Action::Return(value) => Action::Return(value),
-                r#break => return Ok(r#break),
+                Action::None => Action::None,
+                Action::Break => return Ok(action),
             };
         }
 
diff --git a/src/abstract_tree/while.rs b/src/abstract_tree/while.rs
index 918cac5..d0466d6 100644
--- a/src/abstract_tree/while.rs
+++ b/src/abstract_tree/while.rs
@@ -19,14 +19,27 @@ impl While {
 
 impl AbstractTree for While {
     fn expected_type(&self, _context: &Context) -> Result<Type, ValidationError> {
-        todo!()
+        Ok(Type::None)
     }
 
     fn validate(&self, _context: &Context) -> Result<(), ValidationError> {
-        todo!()
+        self.expression.validate(_context)?;
+        self.block.validate(_context)
     }
 
     fn run(self, _context: &Context) -> Result<Action, RuntimeError> {
-        todo!()
+        while self
+            .expression
+            .clone()
+            .run(_context)?
+            .as_return_value()?
+            .as_boolean()?
+        {
+            if let Action::Break = self.block.clone().run(_context)? {
+                break;
+            }
+        }
+
+        Ok(Action::None)
     }
 }