Merge pull request #556 from shiika-lang/new-verifier

Move verifier.rs

lib/skc_async_experiment/src/hir.rs

@@ -4,6 +4,7 @@ pub mod rewriter;
 mod ty;
 pub mod typing;
 pub mod untyped;
+pub mod verifier;
 pub mod visitor;
 use crate::names::FunctionName;
 pub use expr::{CastType, Expr, PseudoVar, Typed, TypedExpr};

lib/skc_async_experiment/src/lib.rs

@@ -6,4 +6,3 @@ mod names;
 pub mod prelude;
 pub mod run;
 mod targets;
-mod verifier;

lib/skc_async_experiment/src/run.rs

@@ -1,5 +1,5 @@
 use crate::names::FunctionName;
-use crate::{codegen, hir, hir_lowering, linker, prelude, verifier};
+use crate::{codegen, hir, hir_lowering, linker, prelude};
 use anyhow::{bail, Context, Result};
 use shiika_parser::{Parser, SourceFile};
 use std::io::Write;
@@ -37,7 +37,7 @@ impl Main {
         hir.funcs.append(&mut prelude::funcs(main_is_async(&hir)?));
 
         self.log(&format!("# -- verifier input --\n{hir}\n"));
-        verifier::run(&hir)?;
+        hir::verifier::run(&hir)?;
 
         let bc_path = path.with_extension("bc");
         let ll_path = path.with_extension("ll");