From b4449b665a71b23c082dad05865f8f0fce91d984 Mon Sep 17 00:00:00 2001
From: Yutaka HARA <yutaka.hara+github@gmail.com>
Date: Mon, 4 Nov 2024 18:29:01 +0900
Subject: [PATCH 1/2] Move verifier.rs to hir/

---
 lib/skc_async_experiment/src/{ => hir}/verifier.rs | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename lib/skc_async_experiment/src/{ => hir}/verifier.rs (100%)

diff --git a/lib/skc_async_experiment/src/verifier.rs b/lib/skc_async_experiment/src/hir/verifier.rs
similarity index 100%
rename from lib/skc_async_experiment/src/verifier.rs
rename to lib/skc_async_experiment/src/hir/verifier.rs

From 31575f6ef04d5b8c3f1c467bfe00c84efc82d413 Mon Sep 17 00:00:00 2001
From: Yutaka HARA <yutaka.hara+github@gmail.com>
Date: Mon, 4 Nov 2024 18:29:53 +0900
Subject: [PATCH 2/2] fix path to verifier

---
 lib/skc_async_experiment/src/hir.rs | 1 +
 lib/skc_async_experiment/src/lib.rs | 1 -
 lib/skc_async_experiment/src/run.rs | 4 ++--
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/lib/skc_async_experiment/src/hir.rs b/lib/skc_async_experiment/src/hir.rs
index f9e7d6e8..c9ce7c64 100644
--- a/lib/skc_async_experiment/src/hir.rs
+++ b/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};
diff --git a/lib/skc_async_experiment/src/lib.rs b/lib/skc_async_experiment/src/lib.rs
index 545f56e2..7601e694 100644
--- a/lib/skc_async_experiment/src/lib.rs
+++ b/lib/skc_async_experiment/src/lib.rs
@@ -6,4 +6,3 @@ mod names;
 pub mod prelude;
 pub mod run;
 mod targets;
-mod verifier;
diff --git a/lib/skc_async_experiment/src/run.rs b/lib/skc_async_experiment/src/run.rs
index ed814836..731343fd 100644
--- a/lib/skc_async_experiment/src/run.rs
+++ b/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");