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

Merge pull request #942 from pmoura/fix_op_3_predicate_operator_priority_domain_error

Browse Source 
Fix op/3 predicate operator_priority domain error
This commit is contained in:
Mark Thom
2021-05-10 11:07:04 -06:00
committed by GitHub
parent 9b483d381f c2e8cbb846
commit 59f08cd651
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/lib/builtins.pl
View File

@@ -1124,7 +1124,7 @@ list_of_op_atoms([]).
op_priority(Priority) :- op_priority(Priority) :-
integer(Priority), !, integer(Priority), !,
( ( Priority < 0 ; Priority > 1200 ) -> ( ( Priority < 0 ; Priority > 1200 ) ->
throw(error(domain_error(operator_priority, Priority))) % 8.14.3.3 h) throw(error(domain_error(operator_priority, Priority), op/3)) % 8.14.3.3 h)
; true ; true
). ).