check that a load context path is a filename before potentially returning it as a...

diff --git a/src/machine/compile.rs b/src/machine/compile.rs
index 3e96672e09489fa724f97e0667e4a84e339e2e31..629d790eaa0ec8ae3a0486d35f1407cbf5f3063b 100644 (file)
--- a/src/machine/compile.rs
+++ b/src/machine/compile.rs
@@ -1318,6 +1318,10 @@ fn print_overwrite_warning(
 impl<'a> LoadState<'a> {
     pub(super) fn listing_src_file_name(&self) -> Option<ClauseName> {
         if let Some(load_context) = self.wam.load_contexts.last() {
+            if !load_context.path.is_file() {
+                return None;
+            }
+
             if let Some(path_str) = load_context.path.to_str() {
                 if !path_str.is_empty() {
                     return Some(clause_name!(path_str.to_string(), self.wam.machine_st.atom_tbl));