From 81635b93c597b10282cb14e0873f5e3d22395186 Mon Sep 17 00:00:00 2001 From: 魏曹先生 <1992414357@qq.com> Date: Sat, 6 Jun 2026 23:16:51 +0800 Subject: Rename `ExitCode` to `ResExitCode` and `REPL` to `ResREPL` --- mingling_core/src/lib.rs | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'mingling_core/src/lib.rs') diff --git a/mingling_core/src/lib.rs b/mingling_core/src/lib.rs index 373df52..6e1e90c 100644 --- a/mingling_core/src/lib.rs +++ b/mingling_core/src/lib.rs @@ -70,3 +70,9 @@ pub use crate::comp::*; pub mod setup { pub use crate::program::setup::ProgramSetup; } + +#[doc(hidden)] +pub mod core_res { + #[cfg(feature = "repl")] + pub use crate::program::repl_exec::res::ResREPL; +} -- cgit