remove unnecessary cause of failure in parser, qualify call to op_/3 in builtins.pl

diff --git a/crates/prolog_parser/src/parser.rs b/crates/prolog_parser/src/parser.rs
index f36552320a00adc77fcd8cd6e1cd0c659a9fb653..a623f9f4bd8af4e3f626f302fcbdd7a1e1cb4990 100644 (file)
--- a/crates/prolog_parser/src/parser.rs
+++ b/crates/prolog_parser/src/parser.rs
@@ -469,10 +469,6 @@ impl<'a, R: Read> Parser<'a, R> {
                     return false;
                 }
             }
-
-            if arity >= 2 && is_prefix!(self.stack[idx].spec) && self.stack[idx].priority > 0 {
-                return false;
-            }
         } else {
             return false;
         }

diff --git a/src/lib/builtins.pl b/src/lib/builtins.pl
index c5a9d39a7d6e8afb85d8227c0c5b526d65e39995..975a07c15cbebc9744eb7cb338fb9331bab2d14a 100644 (file)
--- a/src/lib/builtins.pl
+++ b/src/lib/builtins.pl
@@ -1170,7 +1170,7 @@ op(Priority, OpSpec, Op) :-
     ;  valid_op(Op), op_priority(Priority), op_specifier(OpSpec) ->
        '$op'(Priority, OpSpec, Op)
     ;  list_of_op_atoms(Op), op_priority(Priority), op_specifier(OpSpec) ->
-       lists:maplist(op_(Priority, OpSpec), Op),
+       lists:maplist(builtins:op_(Priority, OpSpec), Op),
        !
     ;  throw(error(type_error(list, Op), op/3)) % 8.14.3.3 f)
     ).