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

remove unnecessary spaces around (|) (#2164)

Browse Source
This commit is contained in:
Mark
2023-11-19 08:46:20 -07:00
parent f32b035287
commit 8d9a759a7d
2 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/heap_print.rs
View File

@@ -1762,7 +1762,7 @@ impl<'a, Outputter: HCValueOutputter> HCPrinter<'a, Outputter> {
while let Some(loc_data) = self.state_stack.pop() { while let Some(loc_data) = self.state_stack.pop() {
match loc_data { match loc_data {
TokenOrRedirect::Atom(atom) => self.print_impromptu_atom(atom), TokenOrRedirect::Atom(atom) => self.print_impromptu_atom(atom),
TokenOrRedirect::BarAsOp => append_str!(self, " | "), TokenOrRedirect::BarAsOp => append_str!(self, "|"),
TokenOrRedirect::Char(c) => print_char!(self, self.quoted, c), TokenOrRedirect::Char(c) => print_char!(self, self.quoted, c),
TokenOrRedirect::Op(atom, op) => { TokenOrRedirect::Op(atom, op) => {
self.print_op(&atom.as_str()); self.print_op(&atom.as_str());

4
tests-pl/iso-conformity-tests.pl
View File

@@ -783,10 +783,10 @@ test_217_181_290_317 :-
( op(1105,xfy,'|'), ( op(1105,xfy,'|'),
read_from_chars("(a-->b,c|d).", T0), read_from_chars("(a-->b,c|d).", T0),
writeq_term_to_chars(T0, C0), writeq_term_to_chars(T0, C0),
C0 == "a-->b,c | d", C0 == "a-->b,c|d",
read_from_chars("[(a|b)].", T1), read_from_chars("[(a|b)].", T1),
writeq_term_to_chars(T1, C1), writeq_term_to_chars(T1, C1),
C1 == "[(a | b)]", C1 == "[(a|b)]",
read_from_chars("[a,(b,c)|[]].", T2), read_from_chars("[a,(b,c)|[]].", T2),
writeq_term_to_chars(T2, C2), writeq_term_to_chars(T2, C2),
C2 == "[a,(b,c)]" C2 == "[a,(b,c)]"