diff options
| author | Edvard Thörnros <edvard.thornros@gmail.com> | 2021-01-12 18:49:11 +0100 |
|---|---|---|
| committer | Edvard Thörnros <edvard.thornros@gmail.com> | 2021-01-12 18:49:11 +0100 |
| commit | 32fa47b52b03f4ae84bc773bad785cf77334ae78 (patch) | |
| tree | 855cd35f6d6b38e8c955edd0f3385e0b8f2988ac /src | |
| parent | f957f0ba7bce1c1fb18df37cc11bb3906b96735f (diff) | |
| download | sylt-32fa47b52b03f4ae84bc773bad785cf77334ae78.tar.gz | |
WIP for-loop
Diffstat (limited to 'src')
| -rw-r--r-- | src/compiler.rs | 36 |
1 files changed, 36 insertions, 0 deletions
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()); |
