From: Mark Thom Date: Sun, 3 Mar 2019 05:58:37 +0000 (-0700) Subject: do not hard code arity in builtins.pl X-Git-Tag: v0.8.110~219 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=586375ce4c9da7d11cf26fd8d61ef137598fd827;p=scryer-prolog.git do not hard code arity in builtins.pl --- diff --git a/src/prolog/lib/builtins.pl b/src/prolog/lib/builtins.pl index 217ee1a4..c4aaa5b6 100644 --- a/src/prolog/lib/builtins.pl +++ b/src/prolog/lib/builtins.pl @@ -614,7 +614,8 @@ match_builtins(float, 1). match_builtins(nonvar, 1). match_builtins(var, 1). match_builtins(call, N) :- - between:between(0, 63, N). + max_arity(Max), + between:between(0, Max, N). '$iterate_predicate_list'([Name/Arity|Preds], Name/Arity). '$iterate_predicate_list'([_|Preds], Pred) :-