From ef676f68b0d0f325d492b66902bceaa3bcecaac2 Mon Sep 17 00:00:00 2001 From: Vitor Santos Costa Date: Thu, 19 May 2016 08:47:40 +0100 Subject: [PATCH] bad argument --- pl/setof.yap | 14 +++++--------- 1 file changed, 5 insertions(+), 9 deletions(-) diff --git a/pl/setof.yap b/pl/setof.yap index adfc77db4..a682d003e 100644 --- a/pl/setof.yap +++ b/pl/setof.yap @@ -106,24 +106,20 @@ no */ findall(Template, Generator, Answers) :- - ( '$is_list_or_partial_list'(Answers) -> - true - ; - '$do_error'(type_error(list,Answers), findall(Template, Generator, Answers)) - ), - '$findall'(Template, Generator, [], Answers). + must_be_of_type( list_or_partial_list, Answers ), + '$findall'(Template, Generator, [], Answers). % If some answers have already been found -/** @pred findall( _T_,+ _G_,+ _L_,- _L0_) +/** @pred findall( ?Key, +Goal, +InitialSolutions, -Solutions ) Similar to findall/3, but appends all answers to list _L0_. */ findall(Template, Generator, Answers, SoFar) :- - must_be_of_type( list_or_partial_list, Template ), - '$findall'(Template, Generator, SoFar, Answers). + must_be_of_type( list_or_partial_list, Answers ), + '$findall'(Template, Generator, SoFar, Answers). % starts by calling the generator, % and recording the answers