about summary refs log tree commit diff
path: root/users/tazjin/rlox/src/bytecode/compiler.rs
diff options
context:
space:
mode:
authorVincent Ambo <mail@tazj.in>2021-02-27T14·38+0200
committertazjin <mail@tazj.in>2021-02-27T19·22+0000
commit1d3d9d32e34c72c84ff72af4583f83d7105bdb98 (patch)
tree98a133b47c9cf06d7fb1b50197c6b370efd5cd9d /users/tazjin/rlox/src/bytecode/compiler.rs
parentb13a6736ddf87e9689a207d5980dd28b9aa83dd4 (diff)
feat(tazjin/rlox): Set up precedence parsing scaffolding r/2239
Defines a new precedence levels enum which can be used to restrict the
parser precedence in any given location. As an example, unary
expressions and grouping are implemented, as these have a different
precedence from e.g. expression()

Change-Id: I91f299fc77530f76c3aba717f638985428104ee5
Reviewed-on: https://cl.tvl.fyi/c/depot/+/2558
Reviewed-by: tazjin <mail@tazj.in>
Tested-by: BuildkiteCI
Diffstat (limited to 'users/tazjin/rlox/src/bytecode/compiler.rs')
-rw-r--r--users/tazjin/rlox/src/bytecode/compiler.rs101
1 files changed, 0 insertions, 101 deletions
diff --git a/users/tazjin/rlox/src/bytecode/compiler.rs b/users/tazjin/rlox/src/bytecode/compiler.rs
deleted file mode 100644
index ab5a970ffd12..000000000000
--- a/users/tazjin/rlox/src/bytecode/compiler.rs
+++ /dev/null
@@ -1,101 +0,0 @@
-use super::chunk::Chunk;
-use super::errors::{Error, ErrorKind, LoxResult};
-use super::opcode::OpCode;
-use crate::scanner;
-
-struct Compiler<T: Iterator<Item = scanner::Token>> {
-    tokens: T,
-    chunk: Chunk,
-    panic: bool,
-    errors: Vec<Error>,
-
-    // TODO(tazjin): Restructure so that these don't need to be Option?
-    current: Option<scanner::Token>,
-    previous: Option<scanner::Token>,
-}
-
-impl<T: Iterator<Item = scanner::Token>> Compiler<T> {
-    fn compile(&mut self) -> LoxResult<()> {
-        self.advance();
-        self.expression();
-        self.consume(
-            &scanner::TokenKind::Eof,
-            ErrorKind::ExpectedToken("Expected end of expression"),
-        )?;
-
-        self.end_compiler()
-    }
-
-    fn advance(&mut self) {
-        self.previous = self.current.take();
-        self.current = self.tokens.next();
-    }
-
-    fn expression(&mut self) {
-        unimplemented!()
-    }
-
-    fn consume(
-        &mut self,
-        expected: &scanner::TokenKind,
-        err: ErrorKind,
-    ) -> LoxResult<()> {
-        unimplemented!()
-    }
-
-    fn current_chunk(&mut self) -> &mut Chunk {
-        &mut self.chunk
-    }
-
-    fn end_compiler(&mut self) -> LoxResult<()> {
-        self.emit_op(OpCode::OpReturn);
-        Ok(())
-    }
-
-    fn emit_op(&mut self, op: OpCode) {
-        let line = self.previous().line;
-        self.current_chunk().add_op(op, line);
-    }
-
-    fn previous(&self) -> &scanner::Token {
-        self.previous
-            .as_ref()
-            .expect("invalid internal compiler state: missing previous token")
-    }
-
-    fn error_at(&mut self, token: &scanner::Token, kind: ErrorKind) {
-        if self.panic {
-            return;
-        }
-
-        self.panic = true;
-        self.errors.push(Error {
-            kind,
-            line: token.line,
-        })
-    }
-}
-
-pub fn compile(code: &str) -> Result<Chunk, Vec<Error>> {
-    let chars = code.chars().collect::<Vec<char>>();
-    let tokens = scanner::scan(&chars).map_err(|errors| {
-        errors.into_iter().map(Into::into).collect::<Vec<Error>>()
-    })?;
-
-    let mut compiler = Compiler {
-        tokens: tokens.into_iter().peekable(),
-        chunk: Default::default(),
-        panic: false,
-        errors: vec![],
-        current: None,
-        previous: None,
-    };
-
-    compiler.compile()?;
-
-    if compiler.errors.is_empty() {
-        Ok(unimplemented!())
-    } else {
-        Err(compiler.errors)
-    }
-}