From 32fa47b52b03f4ae84bc773bad785cf77334ae78 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Edvard=20Th=C3=B6rnros?= Date: Tue, 12 Jan 2021 18:49:11 +0100 Subject: WIP for-loop --- src/compiler.rs | 36 ++++++++++++++++++++++++++++++++++++ 1 file changed, 36 insertions(+) (limited to 'src') diff --git a/src/compiler.rs b/src/compiler.rs index 15d92fd..c542412 100644 --- a/src/compiler.rs +++ b/src/compiler.rs @@ -373,6 +373,38 @@ impl Compiler { block.patch(Op::JmpFalse(block.curr()), jump); } + self.expression(block); + self.scope(block); + + // Loop variable + block.add(Op::Pop, self.line()); + } + + fn for(&mut self, block: &mut Block) { + expect!(self, Token::For, "Expected 'for' at start of for-loop."); + + self.level += 1; + let h = self.stack.len(); + + match self.peek_four() { + (Token::Identifier(name), Token::Identifier(typ), Token::ColonEqual, _) => { + self.eat(); + self.eat(); + self.eat(); + if let Ok(typ) = Type::try_from(typ.as_ref()) { + self.define_variable(&name, typ, block); + } else { + error!(self, format!("Failed to parse type '{}'.", typ)); + } + } + + (Token::Identifier(name), Token::ColonEqual, _, _) => { + self.eat(); + self.eat(); + self.define_variable(&name, Type::UnkownType, block); + } + } + } fn statement(&mut self, block: &mut Block) { @@ -412,6 +444,10 @@ impl Compiler { self.if_statment(block); } + (Token::For, _, _, _) => { + self.for(block); + } + (Token::Unreachable, _, _, _) => { self.eat(); block.add(Op::Unreachable, self.line()); -- cgit v1.2.1