diff options
| author | 魏曹先生 <1992414357@qq.com> | 2026-06-06 23:16:51 +0800 |
|---|---|---|
| committer | 魏曹先生 <1992414357@qq.com> | 2026-06-06 23:16:51 +0800 |
| commit | 81635b93c597b10282cb14e0873f5e3d22395186 (patch) | |
| tree | 200fd2632653fefe751ab5bfa6ebc7a8d4161638 /mingling_core/src/lib.rs | |
| parent | a16d1e6f204cc83104ad3dcc4f4266e304214044 (diff) | |
Rename `ExitCode` to `ResExitCode` and `REPL` to `ResREPL`
Diffstat (limited to 'mingling_core/src/lib.rs')
| -rw-r--r-- | mingling_core/src/lib.rs | 6 |
1 files changed, 6 insertions, 0 deletions
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; +} |