better implementation of list_si/1

Per discussion in https://github.com/mthom/scryer-prolog/pull/1589.

diff --git a/src/lib/si.pl b/src/lib/si.pl
index 7fc3a5965de94ff80b2f9ead832d2a9d533a48c1..d697c8a8cbc8a96072e2f5519199dbd12917cd86 100644 (file)
--- a/src/lib/si.pl
+++ b/src/lib/si.pl
@@ -43,9 +43,15 @@ integer_si(I) :-
 atomic_si(AC) :-
    functor(AC,_,0).
 
-list_si(L) :-
-   \+ \+ length(L, _),
-   sort(L, _).
+% list_si(L) :-
+%    \+ \+ length(L, _),
+%    sort(L, _).
+
+list_si(L0) :-
+   '$skip_max_list'(_,_, L0,L),
+   (  nonvar(L) -> L = []
+   ;  throw(error(instantiation_error, list_si/1))
+   ).
 
 chars_si(Cs) :-
    list_si(Cs),