rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

recognize [] as equivalent to "" in unify_atom (#1288)

Browse Source
This commit is contained in:
Mark Thom
2022-02-22 23:45:04 -07:00
parent 1b91663244
commit d92d8bce89
2 changed files with 5 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
src/machine/machine_state_impl.rs
View File

@@ -544,6 +544,9 @@ impl MachineState {
(HeapCellValueTag::Atom, (name, arity)) => { (HeapCellValueTag::Atom, (name, arity)) => {
self.fail = !(arity == 0 && name == atom); self.fail = !(arity == 0 && name == atom);
} }
(HeapCellValueTag::CStr, cstr_atom) if atom == atom!("[]") => {
self.fail = cstr_atom != atom!("");
}
(HeapCellValueTag::Char, c1) => { (HeapCellValueTag::Char, c1) => {
if let Some(c2) = atom.as_char() { if let Some(c2) = atom.as_char() {
self.fail = c1 != c2; self.fail = c1 != c2;

3
src/machine/system_calls.rs
View File

@@ -2494,9 +2494,10 @@ impl Machine {
} }
}; };
let output = self.machine_st.store(self.machine_st.deref(self.machine_st.registers[3]));
let atom = self.machine_st.atom_tbl.build_with(&string); let atom = self.machine_st.atom_tbl.build_with(&string);
self.machine_st.unify_complete_string(atom, self.machine_st.store(self.machine_st.deref(self.machine_st.registers[3])));
self.machine_st.unify_complete_string(atom, output);
Ok(()) Ok(())
} }