From 0504f09d56bd828a0be59273d0ae4d9a7ca2214c Mon Sep 17 00:00:00 2001 From: Romain Paquet Date: Mon, 9 Dec 2024 14:17:41 +0100 Subject: [PATCH] cli: rename type-check to check, print a message when there are no input files --- src/main.rs | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/src/main.rs b/src/main.rs index 9e0bb6f..1cbee59 100644 --- a/src/main.rs +++ b/src/main.rs @@ -32,7 +32,7 @@ enum Commands { #[arg(long)] dump_ast: bool, }, - TypeCheck { + Check { /// Paths to the source files files: Vec, @@ -96,7 +96,7 @@ fn main() { println!("Parsing OK"); } - Commands::TypeCheck { files, dump_ast } => { + Commands::Check { files, dump_ast } => { let mut source_cache = SourceCache { paths: files.iter().map(PathBuf::from).collect(), file_cache: ariadne::FileCache::default(), @@ -111,6 +111,11 @@ fn main() { } Commands::Compile { files, dump_clir } | Commands::Run { files, dump_clir } => { + if files.is_empty() { + println!("No input files"); + return; + } + let mut source_cache = SourceCache { paths: files.iter().map(PathBuf::from).collect(), file_cache: ariadne::FileCache::default(),