From 803e120a5108048bbab10872b4f2933f113c361b Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Fri, 26 Nov 2021 17:11:51 +0100 Subject: [PATCH] use must_be(list, ...) earlier, since it is now faster --- src/lib/error.pl | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/lib/error.pl b/src/lib/error.pl index 749ad04e..d5827495 100644 --- a/src/lib/error.pl +++ b/src/lib/error.pl @@ -47,13 +47,13 @@ must_be_(integer, Term) :- check_(integer, integer, Term). must_be_(atom, Term) :- check_(atom, atom, Term). must_be_(character, T) :- check_(error:character, character, T). must_be_(chars, Ls) :- - ( ground(Ls), '$is_partial_string'(Ls) -> + must_be(list, Ls), + ( '$is_partial_string'(Ls) -> % The expected case (success) uses a very fast test. % We cannot use partial_string/1 from library(iso_ext), % because that library itself imports library(error). true - ; must_be(list, Ls), - all_characters(Ls) + ; all_characters(Ls) ). must_be_(list, Term) :- check_(error:ilist, list, Term). must_be_(type, Term) :- check_(error:type, type, Term). -- 2.54.0