catch existence_error exceptions from top-level calls to attribute_goals/3 (#1432)

diff --git a/src/machine/machine_state_impl.rs b/src/machine/machine_state_impl.rs
index cbd8d60258b81704257f4b9be2f778bcd8cfa4dc..5223dc92e32ea68131795e9b040b3c157dfe91fe 100644 (file)
--- a/src/machine/machine_state_impl.rs
+++ b/src/machine/machine_state_impl.rs
@@ -1885,14 +1885,7 @@ impl MachineState {
                     }
                     (HeapCellValueTag::PStrLoc | HeapCellValueTag::PStrOffset, h) => {
                         let (focus, _) = pstr_loc_and_offset(&self.heap, h);
-                        let pstr_atom = read_heap_cell!(self.heap[focus],
-                            (HeapCellValueTag::CStr | HeapCellValueTag::PStr, pstr_atom) => {
-                                pstr_atom
-                            }
-                            _ => {
-                                unreachable!()
-                            }
-                        );
+                        let pstr_atom = cell_as_atom!(self.heap[focus]);
 
                         if has_tail {
                             self.s = HeapPtr::PStrLocation(focus, offset);

diff --git a/src/machine/project_attributes.pl b/src/machine/project_attributes.pl
index ae2054e36b8da860dd0a2a30b3f30ea6111ed912..b2f750077820a4d451abfb9546aeab3a93a6567c 100644 (file)
--- a/src/machine/project_attributes.pl
+++ b/src/machine/project_attributes.pl
@@ -32,6 +32,7 @@ call_attribute_goals([Module|Modules], GoalCaller, AttrVars) :-
 
 '$print_attribute_goals_exception'(Module, E) :-
     (  E = error(evaluation_error((Module:attribute_goals)/3), attribute_goals/3)
+    ;  E = error(existence_error(procedure, attribute_goals/3), attribute_goals/3)
     -> true
     ;  loader:write_error(E),
        nl