From e62875ac904d78dd5a358bf47aad9f8b31202cb4 Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Mon, 31 Jan 2022 18:08:00 -0700 Subject: [PATCH] tag length/2 as the source of finite_memory errors in list.pl (#1259) --- src/lib/lists.pl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/lib/lists.pl b/src/lib/lists.pl index f5a62edb..22ee8d4b 100644 --- a/src/lib/lists.pl +++ b/src/lib/lists.pl @@ -54,9 +54,9 @@ length(Xs0, N) :- '$skip_max_list'(M, N, Xs0,Xs), !, ( Xs == [] -> N = M - ; nonvar(Xs) -> var(N), throw(error(resource_error(finite_memory),_)) + ; nonvar(Xs) -> var(N), throw(error(resource_error(finite_memory),length/2)) ; nonvar(N) -> R is N-M, length_rundown(Xs, R) - ; N == Xs -> throw(error(resource_error(finite_memory),_)) + ; N == Xs -> throw(error(resource_error(finite_memory),length/2)) ; length_addendum(Xs, N, M) ). length(_, N) :- -- 2.54.0