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<String>,
 
@@ -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(),