Remove 'cli' module from `red_knot` (#12714)

This commit is contained in:
Micha Reiser 2024-08-06 14:10:36 +02:00 committed by GitHub
parent e91a0fe94a
commit 8e6aa78796
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
4 changed files with 4 additions and 6 deletions

View File

@ -1,2 +0,0 @@
pub(crate) mod target_version;
pub(crate) mod verbosity;

View File

@ -16,11 +16,11 @@ use red_knot_workspace::watch::WorkspaceWatcher;
use red_knot_workspace::workspace::WorkspaceMetadata; use red_knot_workspace::workspace::WorkspaceMetadata;
use ruff_db::program::{ProgramSettings, SearchPathSettings}; use ruff_db::program::{ProgramSettings, SearchPathSettings};
use ruff_db::system::{OsSystem, System, SystemPathBuf}; use ruff_db::system::{OsSystem, System, SystemPathBuf};
use target_version::TargetVersion;
use verbosity::{Verbosity, VerbosityLevel};
use cli::target_version::TargetVersion; mod target_version;
use cli::verbosity::{Verbosity, VerbosityLevel}; mod verbosity;
mod cli;
#[derive(Debug, Parser)] #[derive(Debug, Parser)]
#[command( #[command(