From f5bb7bbd8824a20c991587d5a774644aa98241d9 Mon Sep 17 00:00:00 2001 From: Mel Date: Thu, 3 Mar 2022 02:30:46 +0100 Subject: Allow returns without value --- src/interpret/walker.rs | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) (limited to 'src/interpret/walker.rs') diff --git a/src/interpret/walker.rs b/src/interpret/walker.rs index 7c86780..07e127d 100644 --- a/src/interpret/walker.rs +++ b/src/interpret/walker.rs @@ -62,12 +62,16 @@ impl Walker { println!("{}", result); None } - // FIXME: Returns are always expected to have a return even though `return;` is valid. StatementKind::Return(node) => { + let returned = match node { + Some(e) => Some(self.walk_expression(e)?), + None => None, + }; + // If there's a function running above us it will catch this error. return Err(WalkerError::new( statement.at, - WalkerErrorKind::Return(self.walk_expression(node)?), + WalkerErrorKind::Return(returned), )); } StatementKind::Break(node) => { @@ -381,5 +385,5 @@ pub enum WalkerErrorKind { LoopBreak(Option), // Same as with the loop control errors, but for functions. #[error("Return statements are only valid inside functions.")] - Return(Value), + Return(Option), } -- cgit 1.4.1