From: Mark <markjordanthom@gmail.com>
Date: Fri, 30 Jun 2023 19:45:45 +0000 (-0600)
Subject: check that F in needs_bracketing/2 is an atom
X-Git-Tag: v0.9.2~99
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=caf84a259eb304607cffb06aeda4118c0d5db903;p=scryer-prolog.git

check that F in needs_bracketing/2 is an atom
---

diff --git a/src/toplevel.pl b/src/toplevel.pl
index 2cfe04f5..d9c1f5c4 100644
--- a/src/toplevel.pl
+++ b/src/toplevel.pl
@@ -208,6 +208,7 @@ needs_bracketing(Value, Op) :-
     nonvar(Value),
     \+ integer(Value),
     functor(Value, F, Arity),
+    atom(F),
     current_op(FPrec, FSpec, F),
     current_op(EqPrec, EqSpec, Op),
     arity_specifier(Arity, FSpec),