From 5ff579f79328d0ed29257370b22e9b2d28ad758c Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Thu, 20 Jan 2022 23:46:03 -0700 Subject: [PATCH] recognize []/N as callable (#1241, #989) --- src/loader.pl | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/src/loader.pl b/src/loader.pl index f7b56e92..c5228d1f 100644 --- a/src/loader.pl +++ b/src/loader.pl @@ -578,15 +578,13 @@ predicate_property(Callable, Property) :- atom(Module), nonvar(Callable0) -> functor(Callable0, Name, Arity), - ( atom(Name), - Name \== [] -> + ( atom(Name) -> extract_predicate_property(Property, PropertyType), check_predicate_property(PropertyType, Module, Name, Arity, Property) ; type_error(callable, Callable0, predicate_property/2) ) ; functor(Callable, Name, Arity), - ( atom(Name), - Name \== [] -> + ( atom(Name) -> extract_predicate_property(Property, PropertyType), load_context(Module), check_predicate_property(PropertyType, Module, Name, Arity, Property) -- 2.54.0