From 2716381e7b20fae2b0fb8e8e80f26d4582b345f9 Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Mon, 29 May 2023 11:12:00 +0200 Subject: [PATCH] FIXED: correct dereferencing in atom_codes/2 and number_codes/2. This addresses #1818. Test case: run :- length(Ls, L), portray_clause(L), maplist(=(X), Ls), X = Y, Y = 12, atom_codes(_, Ls), false. --- src/machine/system_calls.rs | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/machine/system_calls.rs b/src/machine/system_calls.rs index a871750a..5fc5d451 100644 --- a/src/machine/system_calls.rs +++ b/src/machine/system_calls.rs @@ -1010,6 +1010,8 @@ impl MachineState { let mut string = String::new(); for addr in addrs { + let addr = self.store(self.deref(addr)); + match Number::try_from(addr) { Ok(Number::Fixnum(n)) => { match u32::try_from(n.get_num()) { -- 2.54.0