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

check that F in needs_bracketing/2 is an atom

Browse Source
This commit is contained in:
Mark
2023-06-30 13:45:45 -06:00
parent 1620824d3a
commit caf84a259e
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
src/toplevel.pl
View File

@@ -208,6 +208,7 @@ needs_bracketing(Value, Op) :-
nonvar(Value), nonvar(Value),
\+ integer(Value), \+ integer(Value),
functor(Value, F, Arity), functor(Value, F, Arity),
atom(F),
current_op(FPrec, FSpec, F), current_op(FPrec, FSpec, F),
current_op(EqPrec, EqSpec, Op), current_op(EqPrec, EqSpec, Op),
arity_specifier(Arity, FSpec), arity_specifier(Arity, FSpec),