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

Merge pull request #948 from pmoura/fix_bounded_and_integer_rounding_function_flags_for_current_prolog_flag

Browse Source 
Fix querying bounded and integer_rounding_function flag values
This commit is contained in:
Mark Thom
2021-05-11 16:55:36 -06:00
committed by GitHub
parent ebe143d9c9 42d9b57733
commit 0fb8459bc1
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/lib/builtins.pl
View File

@@ -126,9 +126,9 @@ Module : Predicate :-
% flags.
current_prolog_flag(Flag, false) :- Flag == bounded, !.
current_prolog_flag(Flag, Value) :- Flag == bounded, !, Value == false.
current_prolog_flag(bounded, false).
current_prolog_flag(Flag, toward_zero) :- Flag == integer_rounding_function, !.
current_prolog_flag(Flag, Value) :- Flag == integer_rounding_function, !, Value == toward_zero.
current_prolog_flag(integer_rounding_function, toward_zero).
current_prolog_flag(Flag, Value) :- Flag == double_quotes, !, '$get_double_quotes'(Value).
current_prolog_flag(double_quotes, Value) :- '$get_double_quotes'(Value).