Lines Matching refs:Op
289 local_op_body(Preced, Assoc, Op, Module):-
290 op_body(local, Preced, Assoc, Op, Module), !.
291 local_op_body(Preced, Assoc, Op, Module):-
292 bip_error(op(Preced, Assoc, Op), Module).
294 global_op_body(Preced, Assoc, Op, Module):-
295 op_body(global, Preced, Assoc, Op, Module), !.
296 global_op_body(Preced, Assoc, Op, Module):-
297 bip_error(global_op(Preced, Assoc, Op), Module).
307 op_body1(Visible, Preced, Assoc, [Op|Ops], Module) :-
308 ( atom(Op) -> true ; var(Op) ),
311 ( op_(Visible, Preced, Assoc, Op, Module) -> true
312 ; Visible == local -> bip_error(op(Preced, Assoc, Op), Module)
313 ; bip_error(global_op(Preced, Assoc, Op), Module) ),