rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

tag length/2 as the source of finite_memory errors in list.pl (#1259)

Browse Source
This commit is contained in:
Mark Thom
2022-01-31 18:08:00 -07:00
parent 835345b89e
commit e62875ac90
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/lib/lists.pl
View File

@@ -54,9 +54,9 @@ length(Xs0, N) :-
'$skip_max_list'(M, N, Xs0,Xs), '$skip_max_list'(M, N, Xs0,Xs),
!, !,
( Xs == [] -> N = M ( 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) ; 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_addendum(Xs, N, M)
). ).
length(_, N) :- length(_, N) :-