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

additional write fixes, use rustyline 12.0.0 (#1876, #1901)

Browse Source
This commit is contained in:
Mark
2023-07-22 11:53:09 -06:00
parent 9a7862c322
commit 3f819e2dfd
1 changed files with 7 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
src/heap_print.rs
View File

@@ -1465,6 +1465,12 @@ impl<'a, Outputter: HCValueOutputter> HCPrinter<'a, Outputter> {
let print_struct = |printer: &mut Self, name: Atom, arity: usize| { let print_struct = |printer: &mut Self, name: Atom, arity: usize| {
if name == atom!("[]") && arity == 0 { if name == atom!("[]") && arity == 0 {
if let Some(TokenOrRedirect::CloseList(_)) = printer.state_stack.last() {
if printer.at_cdr("") {
return;
}
}
append_str!(printer, "[]"); append_str!(printer, "[]");
} else if arity > 0 { } else if arity > 0 {
if let Some(spec) = fetch_op_spec(name, arity, printer.op_dir) { if let Some(spec) = fetch_op_spec(name, arity, printer.op_dir) {
@@ -1516,7 +1522,7 @@ impl<'a, Outputter: HCValueOutputter> HCPrinter<'a, Outputter> {
None => return, None => return,
}; };
if !addr.is_compound(&self.iter.heap) && self.max_depth_exhausted(max_depth) { if !addr.is_var() && !addr.is_compound(&self.iter.heap) && self.max_depth_exhausted(max_depth) {
self.state_stack.push(TokenOrRedirect::Atom(atom!("..."))); self.state_stack.push(TokenOrRedirect::Atom(atom!("...")));
return; return;
} }