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

Fix to_upper/to_lower when string is instantiated

Browse Source
This commit is contained in:
Adrián Arroyo Calle
2023-04-22 10:54:35 +02:00
parent 402100fd52
commit b162c40007
1 changed files with 8 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
src/machine/system_calls.rs
View File

@@ -2794,15 +2794,17 @@ impl Machine {
match (name, arity) { match (name, arity) {
(atom!("to_upper"), 1) => { (atom!("to_upper"), 1) => {
let reg = self.machine_st.heap[s+1]; let reg = self.machine_st.deref(self.machine_st.heap[s+1]);
let upper_str = self.machine_st.atom_tbl.build_with(&c.to_uppercase().to_string()); let atom = self.machine_st.atom_tbl.build_with(&c.to_uppercase().to_string());
self.machine_st.unify_complete_string(upper_str, reg); let upper_str = string_as_cstr_cell!(atom);
unify!(self.machine_st, reg, upper_str);
self.machine_st.fail = false; self.machine_st.fail = false;
} }
(atom!("to_lower"), 1) => { (atom!("to_lower"), 1) => {
let reg = self.machine_st.heap[s+1]; let reg = self.machine_st.deref(self.machine_st.heap[s+1]);
let lower_str = self.machine_st.atom_tbl.build_with(&c.to_lowercase().to_string()); let atom = self.machine_st.atom_tbl.build_with(&c.to_lowercase().to_string());
self.machine_st.unify_complete_string(lower_str, reg); let lower_str = string_as_cstr_cell!(atom);
unify!(self.machine_st, reg, lower_str);
self.machine_st.fail = false; self.machine_st.fail = false;
} }
_ => { _ => {