feat: added check subcommand

Author: Zffu

compiler/compiler_main/src/cmds/check.rs

@@ -0,0 +1,25 @@
+use ast_parser::parse_ast_ctx;
+use astoir::{run_astoir_hir, run_astoir_mir};
+use lexer::lexer::lexer_parse_file;
+
+use crate::{cli::IRLayer, quietlyquit_if_errors};
+
+pub fn run_check(path: String, layer: IRLayer) {
+    let lexer = lexer_parse_file(&path);
+    quietlyquit_if_errors!();
+
+    let ast = parse_ast_ctx(&lexer.unwrap());
+    quietlyquit_if_errors!();
+
+    match layer {
+        IRLayer::HIR => {
+            let hir = run_astoir_hir(ast.unwrap());
+            quietlyquit_if_errors!();
+        }
+
+        IRLayer::MIR => {
+            let mir = run_astoir_mir(ast.unwrap());
+            quietlyquit_if_errors!();
+        }
+    }
+}

compiler/compiler_main/src/cmds/mod.rs

@@ -0,0 +1,11 @@
+pub mod check;
+
+#[macro_export]
+macro_rules! quietlyquit_if_errors {
+    () => {
+        if (diagnostics::has_diagnostics()) {
+            diagnostics::dump_diagnostics();
+            std::process::exit(445);
+        }
+    };
+}

compiler/compiler_main/src/main.rs

@@ -1,11 +1,15 @@
+use std::time::Instant;
+
 use clap::Parser;
 
 use crate::{
     cli::{CLICommand, Cli},
+    cmds::check::run_check,
     version::{GIT_HASH, VERSION},
 };
 
 pub mod cli;
+pub mod cmds;
 pub mod version;
 
 fn main() {
@@ -16,6 +20,21 @@ fn main() {
             println!("Quickfall v{} (commit {})", VERSION, GIT_HASH);
         }
 
+        CLICommand::Check { input, layer } => {
+            let start = Instant::now();
+            let count = input.len();
+
+            for file in input {
+                run_check(file, layer);
+            }
+
+            println!(
+                "No problems could be found in the {} provided files! Checked in {:?}",
+                count,
+                start.elapsed()
+            )
+        }
+
         _ => todo!(),
     }
 }

compiler/diagnostics/src/lib.rs

@@ -70,6 +70,10 @@ pub fn dump_diagnostics() {
     })
 }
 
+pub fn has_diagnostics() -> bool {
+    DIAGNOSTIC_CONTAINER.with_borrow(|f| return !f.diagnostics.is_empty())
+}
+
 pub fn move_current_diagnostic_pos(pos: SpanPosition) {
     CURR_DIAGNOSTIC_POS.with_borrow_mut(|f| {
         *f = Some(pos);