aboutsummaryrefslogtreecommitdiffstats
path: root/src
diff options
context:
space:
mode:
authorEdvard Thörnros <edvard.thornros@gmail.com>2021-01-12 18:49:11 +0100
committerEdvard Thörnros <edvard.thornros@gmail.com>2021-01-12 18:49:11 +0100
commit32fa47b52b03f4ae84bc773bad785cf77334ae78 (patch)
tree855cd35f6d6b38e8c955edd0f3385e0b8f2988ac /src
parentf957f0ba7bce1c1fb18df37cc11bb3906b96735f (diff)
downloadsylt-32fa47b52b03f4ae84bc773bad785cf77334ae78.tar.gz
WIP for-loop
Diffstat (limited to 'src')
-rw-r--r--src/compiler.rs36
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());