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

clean up heap_print.rs

Browse Source
This commit is contained in:
Mark Thom
2019-03-31 02:17:50 -06:00
parent a2f531eeb7
commit 252873694b
1 changed files with 11 additions and 16 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
src/prolog/heap_print.rs
View File

@@ -447,20 +447,16 @@ impl<'a, Outputter: HCValueOutputter> HCPrinter<'a, Outputter>
fn format_clause(&mut self, iter: &mut HCPreOrderIterator, arity: usize, ct: ClauseType) fn format_clause(&mut self, iter: &mut HCPreOrderIterator, arity: usize, ct: ClauseType)
{ {
if let Some(spec) = ct.spec() {
if self.numbervars && is_numbered_var(&ct, arity) { if self.numbervars && is_numbered_var(&ct, arity) {
if self.format_numbered_vars(iter) { if self.format_numbered_vars(iter) {
return; return;
} }
} }
if let Some(spec) = ct.spec() {
if !self.ignore_ops { if !self.ignore_ops {
return self.enqueue_op(ct, spec); return self.enqueue_op(ct, spec);
} }
} else if self.numbervars && is_numbered_var(&ct, arity) {
if self.format_numbered_vars(iter) {
return;
}
} }
match (ct.name().as_str(), arity) { match (ct.name().as_str(), arity) {
@@ -541,7 +537,6 @@ impl<'a, Outputter: HCValueOutputter> HCPrinter<'a, Outputter>
push_space_if_amb!(self, atom.as_str(), { push_space_if_amb!(self, atom.as_str(), {
match atom.as_str() { match atom.as_str() {
"" => self.append_str("''"), "" => self.append_str("''"),
//"," => self.append_str("(,)"),
s => self.print_op_addendum(s) s => self.print_op_addendum(s)
} }
}); });