standalone: Output id of undefined identifier

2023-12-13 13:26:14 +08:00 · 2023-12-13 13:26:14 +08:00 · c7735d935b
commit c7735d935b
parent b47ac1b89b
1 changed files with 3 additions and 1 deletions
--- a/nac3standalone/src/basic_symbol_resolver.rs
+++ b/nac3standalone/src/basic_symbol_resolver.rs
@ -64,7 +64,9 @@ impl SymbolResolver for Resolver {

    fn get_identifier_def(&self, id: StrRef) -> Result<DefinitionId, HashSet<String>> {
        self.0.id_to_def.lock().get(&id).copied()
-            .ok_or_else(|| HashSet::from(["Undefined identifier".to_string()]))
+            .ok_or_else(|| HashSet::from([
+                format!("Undefined identifier `{id}`"),
+            ]))
    }

    fn get_string_id(&self, s: &str) -> i32 {