From d327a05e12e0c386322f5800b52e314592084f58 Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Wed, 3 Mar 2021 22:13:01 +0100 Subject: [PATCH] separate side-effects from declarative description to facilitate test cases etc. --- src/loader.pl | 20 ++++++++++---------- 1 file changed, 10 insertions(+), 10 deletions(-) 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. % -- 2.54.0