From d4d135f2a9b736966fa274b7a0c4d907b1e68f06 Mon Sep 17 00:00:00 2001
From: Mark Thom <markjordanthom@gmail.com>
Date: Sat, 26 Feb 2022 11:07:38 -0700
Subject: [PATCH] fix unexpected error in length/2 (#1303)

---
 src/lib/lists.pl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/lib/lists.pl b/src/lib/lists.pl
index 22ee8d4b..964280d7 100644
--- a/src/lib/lists.pl
+++ b/src/lib/lists.pl
@@ -54,7 +54,7 @@ length(Xs0, N) :-
    '$skip_max_list'(M, N, Xs0,Xs),
    !,
    (  Xs == [] -> N = M
-   ;  nonvar(Xs) -> var(N), throw(error(resource_error(finite_memory),length/2))
+   ;  nonvar(Xs) -> var(N), Xs = [_|_], 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),length/2))
    ;  length_addendum(Xs, N, M)
-- 
2.54.0