From: Markus Triska <triska@metalevel.at>
Date: Wed, 3 Mar 2021 21:13:01 +0000 (+0100)
Subject: separate side-effects from declarative description to facilitate test cases etc.
X-Git-Tag: v0.9.0~138^2~1
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=d327a05e12e0c386322f5800b52e314592084f58;p=scryer-prolog.git

separate side-effects from declarative description to facilitate test cases etc.
---

diff --git a/src/loader.pl b/src/loader.pl
index 52f51d7d..3086d577 100644
--- a/src/loader.pl
+++ b/src/loader.pl
@@ -711,21 +711,21 @@ thread_goals(Goals0, Goals1, Hole, Functor) :-
 % :- use_module(library(lists)).
 % :- use_module(library(format)).
 %
-% call_form_generator(N) :-
+% n_call_clause(N, Clause) :-
 %     length(Args, N),
-%     CallHead =.. [call, G | Args],
+%     Head =.. [call, G | Args],
 %     N1 is N + 1,
-%     Form = (CallHead :- (  var(G) ->
-%                            instantiation_error(call/N1)
-%                         ;  call_clause(G, Args, N1, G0) ->
-%                            '$call'(G0)
-%                         ;  type_error(callable, G, call/N1)
-%                         )),
-%     portray_clause(Form).
+%     Clause = (Head :- (  var(G) ->
+%                           instantiation_error(call/N1)
+%                       ;   call_clause(G, Args, N1, G0) ->
+%                           '$call'(G0)
+%                       ;   type_error(callable, G, call/N1)
+%                       )).
 %
 % generate_call_forms :-
 %     between(1, 64, N),
-%     call_form_generator(N),
+%     n_call_clause(N, Clause),
+%     portray_clause(Clause),
 %     nl,
 %     false.
 %