From 2a3bfa14aefe793f92493f163ebb4edf43bc6ed7 Mon Sep 17 00:00:00 2001
From: Robert Bendun <rob.bendun@gmail.com>
Date: Thu, 20 Oct 2022 16:46:52 +0200
Subject: [PATCH] If all sources are considered deffered enter interactive mode

---
 musique/main.cc | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/musique/main.cc b/musique/main.cc
index 45b40b3..db8fa1d 100644
--- a/musique/main.cc
+++ b/musique/main.cc
@@ -445,6 +445,11 @@ static std::optional<Error> Main(std::span<char const*> args)
 		}
 	}
 
+	enable_repl = enable_repl || std::all_of(runnables.begin(), runnables.end(),
+		[](Run const& run) {
+			return run.type == Run::Deffered_File;
+		});
+
 	if (runnables.empty() || enable_repl) {
 		repl_line_number = 1;
 		enable_repl = true;