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.
This commit is contained in:
Markus Triska
2023-05-29 11:12:00 +02:00
committed by Mark
parent c5c83d724a
commit 2716381e7b

View File

@@ -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()) {