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

remove unnecessary argument

Browse Source
This commit is contained in:
Markus Triska
2021-03-04 21:33:29 +01:00
parent a2e5bcc137
commit c5749cbbb1
1 changed files with 7 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
src/lib/format.pl
View File

@@ -502,13 +502,13 @@ body_(Body, C, I, VNs) -->
{ C1 is I + 3 }, { C1 is I + 3 },
body_(If, C1, C1, VNs), " ->\n", body_(If, C1, C1, VNs), " ->\n",
body_(Then, 0, C1, VNs), "\n", body_(Then, 0, C1, VNs), "\n",
else_branch(Else, C1, I, VNs). else_branch(Else, I, VNs).
body_((A;B), C, I, VNs) --> !, body_((A;B), C, I, VNs) --> !,
indent_to(C, I), indent_to(C, I),
"( ", "( ",
{ C1 is I + 3 }, { C1 is I + 3 },
body_(A, C1, C1, VNs), "\n", body_(A, C1, C1, VNs), "\n",
else_branch(B, C1, I, VNs). else_branch(B, I, VNs).
body_(Goal, C, I, VNs) --> body_(Goal, C, I, VNs) -->
indent_to(C, I), literal(Goal, VNs). indent_to(C, I), literal(Goal, VNs).
@@ -520,14 +520,14 @@ body_if_then_else(Body, If, Then, Else) :-
nonvar(A), nonvar(A),
A = (If -> Then). A = (If -> Then).
else_branch(Else, C, I, VNs) --> else_branch(Else, I, VNs) -->
indent_to(0, I), indent_to(0, I),
"; ", "; ",
{ C is I + 3 },
( { body_if_then_else(Else, If, Then, NextElse) } -> ( { body_if_then_else(Else, If, Then, NextElse) } ->
{ C1 is I + 3 }, body_(If, C, C, VNs), " ->\n",
body_(If, C1, C1, VNs), " ->\n", body_(Then, 0, C, VNs), "\n",
body_(Then, 0, C1, VNs), "\n", else_branch(NextElse, I, VNs)
else_branch(NextElse, C1, I, VNs)
; body_(Else, C, C, VNs), "\n", ; body_(Else, C, C, VNs), "\n",
indent_to(0, I), indent_to(0, I),
")" ")"