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

remove double_quotes checks from unnecessary places in system_calls.rs and elsewhere (#513, #542)

Browse Source
This commit is contained in:
Mark Thom
2020-06-04 21:03:16 -06:00
parent 24f11b5ae9
commit 2a588ff943
4 changed files with 39 additions and 94 deletions
Download Patch File Download Diff File Expand all files Collapse all files

36
src/prolog/machine/machine_state_impl.rs
View File

@@ -818,7 +818,7 @@ impl MachineState {
self.bind(addr.as_var().unwrap(), pstr_addr);
}
Addr::Lis(l) if !self.flags.double_quotes.is_atom() => {
Addr::Lis(l) => {
let h = self.heap.h();
let pstr_addr =
@@ -920,7 +920,7 @@ impl MachineState {
self.fail = true;
}
}
Addr::Lis(l) if !self.flags.double_quotes.is_atom() => {
Addr::Lis(l) => {
let addr = self.heap.put_constant(c.clone());
self.unify(Addr::Lis(l), addr);
}
@@ -1404,11 +1404,7 @@ impl MachineState {
v
}
Addr::PStrLocation(..) => {
if !self.flags.double_quotes.is_atom() {
l
} else {
c
}
l
}
Addr::Char(_) | Addr::Con(_) | Addr::CutPoint(_) |
Addr::EmptyList | Addr::Fixnum(_) | Addr::Float(_) | Addr::Usize(_) => {
@@ -1884,11 +1880,10 @@ impl MachineState {
unreachable!()
}
}
(Addr::PStrLocation(..), Addr::Lis(_))
| (Addr::Lis(_), Addr::PStrLocation(..))
if !self.flags.double_quotes.is_atom() => {
continue;
}
(Addr::PStrLocation(..), Addr::Lis(_)) |
(Addr::Lis(_), Addr::PStrLocation(..)) => {
continue;
}
(pstr1 @ Addr::PStrLocation(..), pstr2 @ Addr::PStrLocation(..)) => {
let mut i1 = self.heap_pstr_iter(pstr1);
let mut i2 = self.heap_pstr_iter(pstr2);
@@ -2248,7 +2243,7 @@ impl MachineState {
(
Addr::PStrLocation(..),
Addr::Lis(_),
) if !self.flags.double_quotes.is_atom() => {
) => {
}
(
Addr::Lis(_),
@@ -2277,7 +2272,7 @@ impl MachineState {
(
Addr::PStrLocation(..),
Addr::Str(s),
) if !self.flags.double_quotes.is_atom() => {
) => {
if let &HeapCellValue::NamedStr(a1, ref n1, _) = &self.heap[s] {
if a1 != 2 || n1.as_str() != "." {
return Some(a1.cmp(&2).then_with(|| n1.as_str().cmp(".")));
@@ -2289,7 +2284,7 @@ impl MachineState {
(
Addr::Str(s),
Addr::PStrLocation(..),
) if !self.flags.double_quotes.is_atom() => {
) => {
if let &HeapCellValue::NamedStr(a1, ref n1, _) = &self.heap[s] {
if a1 != 2 || n1.as_str() != "." {
return Some(2.cmp(&a1).then_with(|| ".".cmp(n1.as_str())));
@@ -2375,14 +2370,7 @@ impl MachineState {
}
}
_ => {
match d {
Addr::Char(_) if self.flags.double_quotes.is_codes() => {
self.p += 1;
}
_ => {
self.fail = true;
}
}
self.fail = true;
}
}
}
@@ -2888,7 +2876,7 @@ impl MachineState {
| (
HeapCellValue::Addr(Addr::PStrLocation(..)),
HeapCellValue::Addr(Addr::Lis(_)),
) if !self.flags.double_quotes.is_atom() => {
) => {
}
(
HeapCellValue::NamedStr(ar1, n1, _),

57
src/prolog/machine/system_calls.rs
View File

@@ -185,20 +185,14 @@ impl MachineState {
}
Addr::Con(h) if max_steps > 0 => {
if let HeapCellValue::PartialString(..) = &self.heap[h] {
if !self.flags.double_quotes.is_atom() {
Addr::PStrLocation(h, 0)
} else {
return CycleSearchResult::NotList;
}
Addr::PStrLocation(h, 0)
} else {
return CycleSearchResult::NotList;
}
}
Addr::Con(h) => {
if let HeapCellValue::PartialString(..) = &self.heap[h] {
if !self.flags.double_quotes.is_atom() {
return CycleSearchResult::UntouchedList(h);
}
return CycleSearchResult::UntouchedList(h);
}
return CycleSearchResult::NotList;
@@ -236,11 +230,7 @@ impl MachineState {
}
Addr::Con(h) => {
if let HeapCellValue::PartialString(..) = &self.heap[h] {
if !self.flags.double_quotes.is_atom() {
Addr::PStrLocation(h, 0)
} else {
return CycleSearchResult::NotList;
}
Addr::PStrLocation(h, 0)
} else {
return CycleSearchResult::NotList;
}
@@ -846,10 +836,9 @@ impl MachineState {
let a2 = self[temp_v!(2)];
match self.store(self.deref(a2)) {
Addr::PStrLocation(..)
if !self.flags.double_quotes.is_chars() => {
self.fail = true;
}
Addr::PStrLocation(..) => {
self.fail = true;
}
a2 => {
self.unify(a2, list_of_chars);
}
@@ -918,35 +907,17 @@ impl MachineState {
self.unify(a2, list_of_codes);
}
Addr::Con(h) if self.heap.atom_at(h) => {
if let HeapCellValue::Atom(name, _) = self.heap.clone(h) {
let a2 = self[temp_v!(2)];
if let HeapCellValue::Atom(name, _) = self.heap.clone(h) {
let a2 = self.store(self.deref(self[temp_v!(2)]));
match self.store(self.deref(a2)) {
a2 @ Addr::PStrLocation(..) => {
if !self.flags.double_quotes.is_codes() {
self.fail = true;
} else {
let iter = name
.as_str()
.chars()
.map(|c| Addr::Char(c));
let iter = name
.as_str()
.chars()
.map(|c| Addr::Fixnum(c as isize));
let list_of_codes = Addr::HeapCell(self.heap.to_list(iter));
let list_of_codes = Addr::HeapCell(self.heap.to_list(iter));
self.unify(a2, list_of_codes);
}
}
a2 => {
let iter = name
.as_str()
.chars()
.map(|c| Addr::Fixnum(c as isize));
let list_of_codes = Addr::HeapCell(self.heap.to_list(iter));
self.unify(a2, list_of_codes);
}
}
self.unify(a2, list_of_codes);
} else {
unreachable!()
}