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

eliminate ambiguity check on structs with non-zero arity

Browse Source
This commit is contained in:
Mark Thom
2018-12-18 23:04:49 -07:00
parent 6234ae6ef1
commit 9064f73655
1 changed files with 8 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
src/prolog/heap_print.rs
View File

@@ -14,7 +14,7 @@ use std::rc::Rc;
#[derive(Clone)] #[derive(Clone)]
pub enum DirectedOp { pub enum DirectedOp {
Left(ClauseName), Left(ClauseName),
Right(ClauseName) Right(ClauseName),
} }
#[derive(Clone)] #[derive(Clone)]
@@ -516,11 +516,15 @@ impl<'a, Outputter: HCValueOutputter> HCPrinter<'a, Outputter>
self.state_stack.push(TokenOrRedirect::Open); self.state_stack.push(TokenOrRedirect::Open);
} }
}, },
HeapCellValue::NamedStr(arity, name, fixity) => HeapCellValue::NamedStr(0, name, fixity) =>
push_space_if_amb!(self, name.as_str(), &op, { push_space_if_amb!(self, name.as_str(), &op, {
let ct = ClauseType::from(name, 0, fixity);
self.format_clause(iter, 0, ct);
}),
HeapCellValue::NamedStr(arity, name, fixity) => {
let ct = ClauseType::from(name, arity, fixity); let ct = ClauseType::from(name, arity, fixity);
self.format_clause(iter, arity, ct); self.format_clause(iter, arity, ct);
}), },
HeapCellValue::Addr(Addr::Con(Constant::EmptyList)) => HeapCellValue::Addr(Addr::Con(Constant::EmptyList)) =>
if !self.at_cdr("") { if !self.at_cdr("") {
self.outputter.append("[]"); self.outputter.append("[]");