From: Mark Thom Date: Wed, 9 Mar 2022 01:25:40 +0000 (-0700) Subject: unify empty list to '' in atom_chars/2 (#1334, #1336) X-Git-Tag: v0.9.1~121 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=ecebaf8216052359af8107b84bc05030fc24ef23;p=scryer-prolog.git unify empty list to '' in atom_chars/2 (#1334, #1336) --- diff --git a/src/machine/system_calls.rs b/src/machine/system_calls.rs index 8dc8d4e8..c435503d 100644 --- a/src/machine/system_calls.rs +++ b/src/machine/system_calls.rs @@ -1288,7 +1288,11 @@ impl Machine { if let Some(str_like) = self.machine_st.value_to_str_like(a2) { let atom = match str_like { AtomOrString::Atom(atom) => { - atom + if atom == atom!("[]") { + self.machine_st.atom_tbl.build_with("") + } else { + atom + } } AtomOrString::String(string) => { self.machine_st.atom_tbl.build_with(&string)